| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Visual Debugging of Behavioural Models
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: https://youtu.be/nJLOnRaPe1A.
Cited literature [6 references]
https://hal.inria.fr/hal-02145535
Contributor : Gwen Salaün <>
Submitted on : Monday, June 3, 2019 - 9:51:49 AM
Last modification on : Tuesday, February 9, 2021 - 3:10:03 PM
Contributor : Gwen Salaün <>
Submitted on : Monday, June 3, 2019 - 9:51:49 AM
Last modification on : Tuesday, February 9, 2021 - 3:10:03 PM
File
main.pdf
Files produced by the author(s)