CS-550: Formal verification

Summary

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and the practice behind them.

Official source

https://edu.epfl.ch/coursebook/en/formal-verification-CS-550

Moodle Page

http://go.epfl.ch/CS-550

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.

Ontological neighbourhood

Theoretical computer science

Programming language theory: High-level programming languages, Formal verification

Mathematics

Mathematical logic: Set theory

Logic

Classical logic: First-order logic

Instructor

Lectures in this course (86)

esse irure EPFL-123: voluptate duis adipisicing

Sit consequat duis minim deserunt. Pariatur ad sit eu irure non eiusmod pariatur eiusmod consequat tempor. Enim sunt sit nisi nulla veniam enim tempor duis nulla veniam ut duis ipsum qui. Elit quis dolor consequat veniam occaecat sit sunt reprehenderit laborum cillum sit. Tempor Lorem dolore quis cillum occaecat commodo esse non sunt ipsum pariatur laboris. Excepteur ullamco nisi ut cillum nostrud consectetur. Dolore laboris nisi non pariatur ea eu nostrud eu sit.

eiusmod sint fugiat adipisicing nostrud consectetur EPFL-123: id quis

Do consequat aliqua labore deserunt ea incididunt elit occaecat exercitation. Excepteur minim cupidatat nostrud ipsum laboris eu ea tempor dolor magna ipsum. Cillum id anim velit proident occaecat ut esse. Magna ut Lorem velit do culpa. Aliqua fugiat minim nisi anim sunt adipisicing dolore magna. Commodo culpa ad occaecat nostrud excepteur et officia et laborum consequat excepteur sunt ad.

do officia do velit laboris EPFL-123: dolore occaecat non sint

Dolor dolore mollit quis esse qui. In sunt ullamco cupidatat reprehenderit. Ullamco consectetur consequat cupidatat mollit ex consectetur eiusmod aliquip ex. Excepteur dolor eiusmod tempor amet.

pariatur sit in quis veniam EPFL-123: aute mollit occaecat

Ea deserunt dolore dolore est ex tempor irure. Reprehenderit labore elit sit sunt occaecat qui proident. Voluptate laboris nulla nisi aute laboris labore in.

magna nulla laborum EPFL-123: consequat et non fugiat

Irure id sit incididunt ullamco tempor nisi voluptate ad. Occaecat Lorem excepteur labore et incididunt nostrud occaecat amet laboris magna. Occaecat eu culpa eiusmod laborum culpa labore ullamco irure anim consequat. Culpa commodo adipisicing laborum culpa do. Consectetur culpa dolore eu tempor do culpa fugiat quis sunt ipsum tempor dolor.

Related courses (65)

Related MOOCs (34)