Concept
Formal methods
Related courses (30)
AR-604: Introduction to research II
This course is an introduction to the methodological issues of scientific research. The objective is to help doctoral students conduct a scientifically robust research.
ENG-466: Distributed intelligent systems
The goal of this course is to provide methods and tools for modeling distributed intelligent systems as well as designing and optimizing coordination strategies. The course is a well-balanced mixture
CIVIL-557: Decision-aid methodologies in transportation
The course has two modules, the first Operations Research (OR), and the second is statistical modeling of transportation systems. Students will be modeling applied problems and developing solution met
PENS-224: Human habitat : a study on the Alpine territory
Il est question d'aborder la domestication des Alpes par l'entremise de l'étude des modalités de construction de l'environnement bâti. Une étude entre architecture, génie civil, anthropologie et scien
CS-510: Topics in software security
Memory corruption and type safety flaws dominate the threat landscape. We will approach current research
from three dimensions: sanitization (finding flaws through runtime monitors); fuzzing (testing
AR-530: Housing and typology
Au travers d'une approche centrée sur la typologie, les trois enseignants exploreront successivement des grands types de logements rationalistes pour en comprendre les origines historiques mais aussi
CS-550: Formal verification
We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
MATH-600: Optimization and simulation
Master state-of-the art methods in optimization with heuristics and simulation.
Work involves:
- reading the material beforehand
- class hours to discuss the material and solve problems
- homework
PHYS-210: Physique numérique (pour SPH)
Aborder, formuler et résoudre des problèmes de physique en utilisant des méthodes numériques élémentaires. Comprendre les avantages et les limites de ces méthodes (stabilité, convergence). Illustrer d
AR-202(o): Studio BA4 (Verschuere)
In the early days of the Anthropocene, the concepts of "Nature and Culture" are being revisited by a number of contemporary thinkers. The studio will take this paradigm shift as an opportunity to addr