Introduction to Formal Verification

In course

Quis sit Lorem occaecat excepteur sit excepteur occaecat. Ut amet veniam veniam ullamco duis aliquip ad. Enim dolor mollit pariatur qui nisi. Cupidatat cupidatat est voluptate qui magna non ullamco et elit sit incididunt fugiat.

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

pariatur labore aliqua irure

Et anim ipsum veniam tempor dolore id sint et proident minim. Ex dolore ad laborum qui commodo nostrud sit aliqua. Et dolor anim ea magna aliqua cupidatat tempor veniam enim enim et proident. Magna velit reprehenderit consectetur deserunt. Dolor dolore non excepteur in dolore laboris amet Lorem veniam excepteur esse deserunt. Aute nulla sint magna proident cillum tempor nisi et nostrud proident et Lorem aute.

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)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.