LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » 新闻 » 在读博士

THIERRY-MIEG Yann

特许任教资格
科研组 : MoVe

From Symbolic Verification to Domain Specific Languages

This talk will present our experience in building data structures, algorithms, languages and tools to enable symbolic model-checking of specifications expressed in a variety of formalisms. The data structures use symbolic representations of large sets of states and of transition relations to face the challenge of state space explosion, inherent to model-checking. The algorithms exploit such symbolic representations to verify complex behavioral properties of a system, expressed using temporal logic.
We leverage model-driven engineering and model transformations to propose a simple yet expressive intermediate language to express the semantics of concurrent systems.
The tools freely available at offer both a user friendly front-end and an efficient back-end solver. They support analysis of diverse formalisms designed for modeling of concurrent and real-time systems.
答辩 : 2016-12-7 - 14h00 - RC entre tour 22 et 23
评委会 :
Professeur Claude JARD - Univ. Nantes [rapporteur]
Professeur Richard PAIGE - Univ. York, UK [rapporteur]
Professeur Jaco VAN DE POL - Univ. Twente, NL [rapporteur]
Professeur Ahmed BOUAJJANI - Univ. Paris Diderot
Professeur Jean-Michel COUVREUR - Univ. Orléans
Professeur Serge HADDAD - ENS Cachan
Professeur Fabrice KORDON - Univ. Paris 6
Professeur François VERNADAT - INSA Toulouse

4 毕业博士 2009 - 2013

 Mentions légales
网站导航 |