Fiches de cours

Formal verification

CS-550

Enseignant(s) :

Kuncak Viktor

Langue:

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 and exercises and supervise labs on student laptops.

 

Expected student activities

Follow the course material and complete and explain projects during the semester.

Assessment methods

The grade is based on the code, documentation, and explanation of projects during the semester.

There are no written exams.

Supervision

Office hours Yes
Assistants Yes
Forum Yes

Resources

Bibliography

Ressources en bibliothèque
Websites
Moodle Link
Videos

Dans les plans d'études

    • Semestre
       Automne
    • Forme de l'examen
       Pendant le semestre
    • Crédits
      6
    • Matière examinée
      Formal verification
    • Cours
      2 Heure(s) hebdo x 14 semaines
    • Exercices
      2 Heure(s) hebdo x 14 semaines
    • TP
      2 Heure(s) hebdo x 14 semaines
    • Semestre
       Automne
    • Forme de l'examen
       Pendant le semestre
    • Crédits
      6
    • Matière examinée
      Formal verification
    • Cours
      2 Heure(s) hebdo x 14 semaines
    • Exercices
      2 Heure(s) hebdo x 14 semaines
    • TP
      2 Heure(s) hebdo x 14 semaines
    • Semestre
       Automne
    • Forme de l'examen
       Pendant le semestre
    • Crédits
      6
    • Matière examinée
      Formal verification
    • Cours
      2 Heure(s) hebdo x 14 semaines
    • Exercices
      2 Heure(s) hebdo x 14 semaines
    • TP
      2 Heure(s) hebdo x 14 semaines
    • Semestre
       Automne
    • Forme de l'examen
       Pendant le semestre
    • Crédits
      6
    • Matière examinée
      Formal verification
    • Cours
      2 Heure(s) hebdo x 14 semaines
    • Exercices
      2 Heure(s) hebdo x 14 semaines
    • TP
      2 Heure(s) hebdo x 14 semaines
    • Semestre
       Automne
    • Forme de l'examen
       Pendant le semestre
    • Crédits
      6
    • Matière examinée
      Formal verification
    • Cours
      2 Heure(s) hebdo x 14 semaines
    • Exercices
      2 Heure(s) hebdo x 14 semaines
    • TP
      2 Heure(s) hebdo x 14 semaines
    • Semestre
       Automne
    • Forme de l'examen
       Pendant le semestre
    • Crédits
      6
    • Matière examinée
      Formal verification
    • Cours
      2 Heure(s) hebdo x 14 semaines
    • Exercices
      2 Heure(s) hebdo x 14 semaines
    • TP
      2 Heure(s) hebdo x 14 semaines
    • Semestre
       Automne
    • Forme de l'examen
       Pendant le semestre
    • Crédits
      6
    • Matière examinée
      Formal verification
    • Cours
      2 Heure(s) hebdo x 14 semaines
    • Exercices
      2 Heure(s) hebdo x 14 semaines
    • TP
      2 Heure(s) hebdo x 14 semaines
    • Semestre
       Automne
    • Forme de l'examen
       Pendant le semestre
    • Crédits
      6
    • Matière examinée
      Formal verification
    • Cours
      2 Heure(s) hebdo x 14 semaines
    • Exercices
      2 Heure(s) hebdo x 14 semaines
    • TP
      2 Heure(s) hebdo x 14 semaines
    • Semestre
       Automne
    • Forme de l'examen
       Pendant le semestre
    • Crédits
      6
    • Matière examinée
      Formal verification
    • Cours
      2 Heure(s) hebdo x 14 semaines
    • Exercices
      2 Heure(s) hebdo x 14 semaines
    • TP
      2 Heure(s) hebdo x 14 semaines

Semaine de référence

 LuMaMeJeVe
8-9     
9-10     
10-11     
11-12     
12-13     
13-14    CE1103
14-15    
15-16   GRA330 
16-17    
17-18   GRA330 
18-19    
19-20    
20-21    
21-22    
 
      Cours
      Exercice, TP
      Projet, autre

légende

  • Semestre d'automne
  • Session d'hiver
  • Semestre de printemps
  • Session d'été
  • Cours en français
  • Cours en anglais
  • Cours en allemand