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
Distributed decision and verification by mobile ag
Algorithmique distribuée
Tuesday 22 January 2019 - 10h30
Salle : 465 - PCRI-N
Evangelos Bampas .............................................

Redundancy in Distributed Proofs
Algorithmique distribuée
Tuesday 04 December 2018 - 00h00
Salle : 465 - PCRI-N
Ami Paz .............................................

Some recent results on the integer linear programm
Théorie des graphes
Friday 30 November 2018 - 00h00
Salle : 445 - PCRI-N
Hung Nguyen .............................................

Scalable and exhaustive screening of metabolic fun
Wednesday 28 November 2018 - 11h00
Salle : 465 - PCRI-N
Clémence Frioux .............................................

De la sociologie *avec* des algorithmes à la socio
Friday 09 November 2018 - 14h30
Salle : 445 - PCRI-N
Christpohe Prieur .............................................