LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » الروابـط » مخـبرمـخـبر LIP6

Séminaire MoVeRSS

Model-checking temporisé


05/04/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
 Mentions légales
| خـريـطـة المـوقـع