Formal Verification: EPFL Course (CS-550), Fall 2020

In this course we introduce formal verification as a principled approach for developing systems that do what they should do.

The course will have material related to 2019 edition but the grading will be based on project work: the implementation, answers to questions throughout the semester, written report, and its presentation.

Instructors: Viktor Kuncak, Jad Hamza