Séminaire MoVe

RSS

Model-checking temporisé

Thursday, April 5, 2007
François Laroussinie (ENS Cachan)

L'introduction des automates temporisés par Alur et Dill dans les années 90 a permis de faire d'importants progrès dans la vérification par model-checking des systèmes temps-réel. De nombreux résultats ont été obtenus tant sur le plan théorique que pratique, avec le développement d'outils de model-checking efficaces et appliqués sur de vraies études de cas. L'objectif de cet exposé sera de présenter les résultats récents de ce domaine de recherche et de dessiner quelques perspectives futures.

Fabrice.Kordon (at) nulllip6.fr