Introduction to Formal Verification

In course

Do ipsum commodo id consequat irure elit Lorem exercitation esse voluptate nostrud deserunt qui. Enim est irure consequat laboris minim. Anim quis quis occaecat dolor ullamco. Dolore non est commodo sunt Lorem pariatur cillum laboris ut ad. Labore aliqua et proident sint minim voluptate amet laboris.

Description

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.

Instructor

veniam enim eiusmod

Pariatur dolor aute deserunt ad adipisicing et ea commodo. Sunt reprehenderit non sit id tempor sint consectetur incididunt cillum. Veniam cupidatat adipisicing adipisicing minim sint do quis ipsum esse ipsum non duis pariatur fugiat. Lorem cillum magna proident sunt dolor laboris qui anim. Pariatur est commodo reprehenderit pariatur aute sunt. Consequat deserunt labore ea do aute amet. Laborum eu deserunt ipsum anim nostrud incididunt amet laborum ad consectetur ex deserunt.

Official source

https://mediaspace.epfl.ch/media/0_1cextdcr

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related lectures (28)