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.

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, Professor Alice
• Authors: Donaldson, A., and Miller, A.
• Subjects: Q Science > QA Mathematics
• College/School: College of Science and Engineering > School of Computing Science