Debugging of Behavioural Models with CLEAR - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Debugging of Behavioural Models with CLEAR


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.
Fichier principal
Vignette du fichier
Barbon2019_Chapter_DebuggingOfBehaviouralModelsWi.pdf (744.74 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02121180 , version 1 (15-05-2019)



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⟩
116 View
73 Download



Gmail Facebook X LinkedIn More