111 search results - page 1 / 23 » Evidence Explorer: A Tool for Exploring Model-Checking Proof... |
CAV
2003
Springer
14 years 4 months ago
2003
Springer
ECBS
2003
IEEE
14 years 4 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 8 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
14 years 2 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
14 years 25 days 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...