Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Debugging of Behavioural Models with CLEAR

Gianluca Barbon 1 Vincent Leroy 2 Gwen Salaün 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper presents a tool for debugging behavioural models being analysed using model checking techniques. It consists of three parts: (i) one for annotating a behavioural model given a temporal formula , (ii) one for visualizing the erroneous part of the model with a specific focus on decision points that make the model to be correct or incorrect, and (iii) one for abstracting counterexamples thus providing an explanation of the source of the bug.
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-02121180
Contributeur : Radu Mateescu <>
Soumis le : mercredi 15 mai 2019 - 08:21:46
Dernière modification le : lundi 20 avril 2020 - 11:36:08

Fichier

Barbon2019_Chapter_DebuggingOf...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Gianluca Barbon, Vincent Leroy, Gwen Salaün. Debugging of Behavioural Models with CLEAR. TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.386-392, ⟨10.1007/978-3-030-17462-0_ 26⟩. ⟨hal-02121180⟩

Partager

Métriques

Consultations de la notice

123

Téléchargements de fichiers

76