In this course we introduce formal verification as a principled approach
for developing systems that do what they should do, studying underlying tools and algorithms.
See also https://lara.epfl.ch/w/fv20/top
- Instructor: Jad Hamza
- Instructor: Viktor Kuncak
- Teaching Assistant: Romain Edelmann
- Teaching Assistant: David Resin
