LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Links » LIP6 events

Séminaire MoVeRSS

Model-checking temporisé


04/05/2007
Speaker(s) : 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
 Mentions légales
Site map |