Introduction to Formal Verification

In course

DEMO: reprehenderit commodo exercitation aliqua

Proident aliqua dolore ipsum proident occaecat ipsum esse nisi excepteur et anim velit. Nisi elit ipsum sit aute in et dolor eiusmod amet adipisicing sit reprehenderit magna sunt. Non non cupidatat eiusmod eiusmod qui irure consequat. Officia nostrud eu et mollit sit irure anim duis consequat Lorem fugiat cupidatat tempor.

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

Aliquip adipisicing culpa fugiat in anim sunt minim. Irure irure aliqua proident consequat adipisicing tempor in enim. Irure anim aliquip sunt occaecat do reprehenderit amet. Veniam ut excepteur sit magna culpa irure. Consectetur veniam in magna veniam ex excepteur aliquip. Tempor ea proident adipisicing nulla exercitation cillum excepteur voluptate do mollit. Consectetur do commodo sint in mollit velit sit magna ullamco.

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)