Concept
Formal specification
Related courses (8)
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
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
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-214: Software construction
Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundam
CS-628: Interactive Theorem Proving CS
A hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
MGT-621: Microeconomics
This course presents a first introduction to microeconomic theory and its applications. It lays the foundation for more advanced courses.
CS-725: Topics in Language-based 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
ME-418: Integrated mechanical design
Les objectifs du cours incluent l'approfondissement d'une approche scientifique de la conception, la pratique d'une démarche multi-thématique, la pratique de l'intégration de systèmes et l'acquisition