Skip to Main content Skip to Navigation
New interface
Conference papers

Visual Debugging of Behavioural Models

Gianluca Barbon 1 Vincent Leroy 2 Gwen Salaün 1 Emmanuel Yah 1 
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 SLIDE - ScaLable Information Discovery and Exploitation [Grenoble]
LIG - Laboratoire d'Informatique de Grenoble
Abstract : In this paper, we present the CLEAR visualizer tool, which supports the debugging task of behavioural models being analyzed using model checking techniques. The tool provides visualization techniques for simplifying the comprehension of counterexamples by highlighting some specific states in the model where a choice is possible between executing a correct behaviour or falling into an erroneous part of the model. Our tool was applied successfully to many case studies and allowed us to visually identify several kinds of typical bugs. Video URL:
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Gwen Salaün Connect in order to contact the contributor
Submitted on : Monday, June 3, 2019 - 9:51:49 AM
Last modification on : Wednesday, July 6, 2022 - 4:19:46 AM


Files produced by the author(s)



Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah. Visual Debugging of Behavioural Models. ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩. ⟨hal-02145535⟩



Record views


Files downloads