Ce cours donne un aperçu des techniques modernes pour la vérification automatique de logiciels et systèmes informatiques. Il s'adresse particulièrement aux étudiants des spécialités IL et MF2S du master informatique mais est ouvert à toutes les spécialités.
These lectures introduce elementary concepts and algorithms underlying modern techniques for the automated verification (model checking) of systems. They are mainly intended for students of the IL and MF2S specialties of the Master in Computer Science but they are open to all specialties.
- Enseignant: Marie Duflot-Kremer
- Enseignant: Stephan Merz