Coursebooks

Formal verification

CS-550

Lecturer(s) :

Kuncak Viktor

Language:

English

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.

Content

Topics may include among the others some of the following:

Learning Prerequisites

Recommended courses

Computer Language Processing / Compilers

 

Important concepts to start the course

Discrete Mathematics

Learning Outcomes

By the end of the course, the student must be able to:

Teaching methods

Instructors will present lectures, conduct whiteboard or blackboard exercises, and supervise labs on student laptops.

 

Expected student activities

Attend lectures (optional but highly recommended), solve exercises on whiteboard and continue at home as needed, complete computer labs.

Assessment methods

We will assign written exams and grade labs.

Supervision

Office hours Yes
Assistants Yes
Forum Yes

Resources

Bibliography

Websites
Moodle Link
Videos

In the programs

Reference week

 MoTuWeThFr
8-9     
9-10     
10-11     
11-12     
12-13     
13-14    INF213
14-15    
15-16   INF213 
16-17    
17-18   INF213 
18-19    
19-20    
20-21    
21-22    
 
      Lecture
      Exercise, TP
      Project, other

legend

  • Autumn semester
  • Winter sessions
  • Spring semester
  • Summer sessions
  • Lecture in French
  • Lecture in English
  • Lecture in German