Symmetry reduction techniques for explicit-state model checking

Donaldson, A. and Miller, A. (2007) Symmetry reduction techniques for explicit-state model checking. In: First International Symmetry Conference, Edinburgh, UK, 14-17 Jan 07, pp. 41-45.

Full text not currently available from Enlighten.

Abstract

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.

Item Type:Conference Proceedings
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Miller, Dr Alice
Authors: Donaldson, A., and Miller, A.
Subjects:Q Science > QA Mathematics
College/School:College of Science and Engineering > School of Computing Science

University Staff: Request a correction | Enlighten Editors: Update this record