64 search results - page 4 / 13 » Symmetry and Reduced Symmetry in Model Checking |
CAV
1998
Springer
15 years 1 months 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
15 years 3 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
15 years 1 months 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
15 years 2 months ago
2003
Springer
65
Voted
CAV
1998
Springer
15 years 1 months ago
1998
Springer
