Symmetry Reduction and Heuristic Search for Error Detection in ModelChecking

  title={Symmetry Reduction and Heuristic Search for Error Detection in ModelChecking},
  author={Alberto Lafuente},
The state explosion problem is the main limitation of model checking. Symmetries in the system being verified can be exploited in order to avoid this problem by defining an equivalence (symmetry) relation on the states of the system, which induces a semantically equivalent quotient system of smaller size. On the other hand, heuristic search algorithms can be applied to improve the bug finding capabilities of model checking. Such algorithms use heuristic functions to guide the exploration… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 19 extracted citations


Publications referenced by this paper.
Showing 1-10 of 18 references

A formal basis for heuristic determination of minimum path cost

N. J. Nilsson
IEEE Transactions on on Systems Science and Cybernetics • 2002

Näher.The LEDA Platform of Combinatorial and Geometric Computing

K. Melhorn, St

Osterweil . The right algorithm at the right time : Comparing data flow analysis algorithms for finite state verification

L. A. Clarke, J. L.

Symmetry Breaking during Search in Constraint Programming

ConstraintProgrammingbyIan P. Gent, Barbara SmithJanuary
View 2 Excerpts

Similar Papers

Loading similar papers…