Responsable : Anca Muscholl
Ce cours du S8 est uniquement pour le parcours IF. Il vaut 6 ECTS.
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,…).