Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Lecture
Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture introduces the principles and practice of formal verification, focusing on constructing verified software using tools and understanding the underlying principles. The course emphasizes the rigorous proof that computer systems satisfy specifications, contrasting formal verification with testing. It covers topics such as automated theorem proving, compiling programs to formulas, and the importance of mathematical models in ensuring system correctness.