Outils pour utilisateurs

Outils du site


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 16:08 de vpenelle