LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » 链接 » 巴黎六大计算机科学实验室日志

Séminaire MoVeRSS

Model-checking temporisé


2007-4-5
报告人 : 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
网站导航 |