Outils pour utilisateurs
if-iv
Introduction à la vérification
Responsable : 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,…).
if-iv.txt · Dernière modification : 2020/11/24 15:08 de vpenelle
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
