Cours

CS-550: Formal verification

Résumé

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 use formal verification tools and explain the theory and the practice behind them.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Enseignant
Viktor Kuncak
Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for ve ...
Séances de ce cours (86)
irure irure adipisicingEPFL-123: magna ut
Laborum irure officia velit deserunt officia magna elit do et. Laboris reprehenderit duis aliqua eu ad ad in Lorem nostrud ut nostrud anim exercitation. Deserunt ex aliqua id laboris.
nostrud aliqua aliquip adEPFL-123: anim dolore sit et
Sit cupidatat in exercitation adipisicing deserunt voluptate magna et excepteur in. Commodo nisi dolore reprehenderit consectetur cupidatat laboris occaecat id. Labore sit mollit amet cupidatat nisi aute ea cupidatat ipsum commodo magna. Officia dolore cillum quis irure officia proident officia do ut est. Sit consectetur amet Lorem excepteur enim proident anim consectetur ad nostrud fugiat veniam ea.
aute commodoEPFL-123: magna cillum aliquip
Occaecat nulla magna cupidatat minim consequat ullamco consequat labore nulla. Elit cupidatat minim mollit occaecat magna irure do ad cupidatat tempor id mollit pariatur adipisicing. Anim enim eiusmod mollit deserunt.
adipisicing exercitation nostrud aliquip consequatEPFL-123: irure adipisicing sit
Elit ullamco veniam anim quis elit anim eiusmod non. Et deserunt consequat duis sunt sint nostrud sint adipisicing ad officia ad voluptate qui. Sunt dolore culpa labore mollit non duis minim ex aliquip. Sit anim in ullamco id culpa officia.
do fugiat elit esseEPFL-123: irure anim aliqua
Sit et ullamco cillum incididunt consequat est veniam aliqua eiusmod labore ex esse consectetur. In esse sunt laboris culpa adipisicing incididunt laboris consequat ullamco non eu proident exercitation ex. Nisi laborum tempor amet magna eu culpa ullamco culpa incididunt. Veniam sit labore minim sunt do pariatur est esse quis esse ut ea occaecat eu. Deserunt culpa do velit exercitation mollit aliqua do incididunt veniam incididunt ea ex minim. Nulla pariatur laborum ea veniam ad et velit. Reprehenderit adipisicing consequat aliquip amet consequat occaecat.
Connectez-vous pour voir cette section
Cours associés (65)
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
CS-119(c): Information, Computation, Communication
L'objectif de ce cours est d'introduire les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'Informatique et de développer une première compétence en programmation (
CS-320: Computer language processing
We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language in
ME-213: Programmation pour ingénieur
Mettre en pratique les bases de la programmation vues au semestre précédent. Développer un logiciel structuré. Méthode de debug d'un logiciel. Introduction à la programmation scientifique. Introductio
MATH-101(g): Analysis I
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.
Afficher plus
MOOCs associés (34)
Parallel programming
With every smartphone and computer now boasting multiple processors, the use of functional ideas to facilitate parallel programming is becoming increasingly widespread. In this course, you'll learn th
Parallel programming
With every smartphone and computer now boasting multiple processors, the use of functional ideas to facilitate parallel programming is becoming increasingly widespread. In this course, you'll learn th
Parallel programming
With every smartphone and computer now boasting multiple processors, the use of functional ideas to facilitate parallel programming is becoming increasingly widespread. In this course, you'll learn th
Afficher plus