Symmetry reduction techniques for explicit-state model checking

We present a survey of our recent work on symmetry reduction techniques for explicit-state model checking, addressing the problems of automatic symmetry detection before search, and efficient exploitation of symmetry during search. We describe TopSPIN, an implementation of our techniques for the SPIN model checker, and discuss a user study assessing the feasibility of our approach