Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) ForTesSE
Extending temporal logics in practice: model checking and applications
Radu Mateescu

22 March 2012, 10h30 - 22 March 2012, 11h30
Salle/Bat : 435/PCRI-N
Contact : Pascal Poizat

Activités de recherche :

Résumé :
Since their definition in the 70s, the classical temporal logics
have been continuously subject to various extensions and generalizations with the goal of increasing their expressiveness and facilitating their usage. In this talk, we will present two extended temporal logics, defined in the action-based and the state-based setting, respectively: MCL (Model Checking Language), a modal mu-calculus fragment enriched with generalized regular expressions, fairness operators, and data-handling features; and CTRL (Computation Tree Regular Logic), an extension of CTL with regular expressions and fairness operators. After detailing the on-the-fly model checking methods developed for MCL and CTRL using the CADP verification toolbox, we will present two of their applications in the field of trace verification and systems biology.

Pour en savoir plus : http://vasy.inria.fr/people/Radu.Mateescu/
Séminaires
A Family of Tractable Graph Distances
Gestion de données du Web
Wednesday 04 July 2018 - 10h30
Salle : 465 - PCRI-N
Stratis Ioannidis .............................................

Binary pattern of length greater than 14 are abeli
Combinatoire
Friday 29 June 2018 - 14h30
Salle : 445 - PCRI-N
Matthieu Rosenfeld .............................................

Distributionally Robust Optimization with Principa
Optimisation combinatoire et stochastique
Friday 29 June 2018 - 11h00
Salle : 455 - PCRI-N
Dr. Jianqiang Cheng .............................................

Caractérisation de réseaux égocentrés par l'énumér
Friday 15 June 2018 - 14h30
Salle : 455 - PCRI-N
Raphaël Charbey .............................................

DATA VERACITY ASSESSMENT: HOW A-PRIORI KNOWLEDGE E
Intégration de données et de connaissances
Friday 15 June 2018 - 14h00
Salle : 445 - PCRI-N
Valentina Beretta .............................................