64 search results - page 4 / 13 » Symmetry and Reduced Symmetry in Model Checking |
CAV
1998
Springer
14 years 24 days ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
CAV
2006
Springer
14 years 9 days ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
CAV
1998
Springer
14 years 24 days ago
1998
Springer
