We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification of causal factors in the potentially very large sets of execution paths that form counterexamples in stochastic model checking. The visualization is interactive and allows the user to focus on the most meaningful aspects of a counterexample. We present the application of the visualization method as implemented in our prototype tool DIPRO to two case studies.
An interactive visualization tool to support the debugging process is presented in REF .
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
2008 Fifth International Conference on Quantitative Evaluation of Systems
2008 Fifth International Conference on Quantitative Evaluation of Systems
Computer Science