111 search results - page 1 / 23 » Evidence Explorer: A Tool for Exploring Model-Checking Proof... |
CAV
2003
Springer
13 years 10 months ago
2003
Springer
ECBS
2003
IEEE
13 years 10 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
ICCAD
2010
IEEE
13 years 2 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
ASM
2010
ASM
13 years 8 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
ACSD
2008
IEEE
13 years 7 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...