==== Introduction à la vérification ====

Responsable : [[https://labri.fr/perso/anca|Anca Muscholl]]

Ce cours du S8 est uniquement pour le parcours IF. Il vaut 6 ECTS.


=== Résumé ===

Le cours introduit des techniques de vérification automatique de systèmes : model-checking pour les systèmes finis (systèmes de transitions, logiques temporelles, vérification) et (in-)décidabilité pour les systèmes infinis (automates communicants, automates temporisés, réseaux de Petri,...).