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,…).