Symmetry reduction methods for model checking

Miller, A. and Donaldson, A.F. (2007) Symmetry reduction methods for model checking. In: Automated Reasoning Workshop 2007, London, UK, 19-20 Apr 2007,

Full text not currently available from Enlighten.


Model checking is an established technique for checking the reliability of software-controlled systems and constitutes one of the leading applications of logic to Computer Science. This automatic technique involves the construction of a model of a system over which properties are checked. One of the major problems with model checking is the (so-called) state-space explosion problem -- where models become too large to feasibly-- -- check. A popular technique for combatting state-space explosion is symmetry reduction. In this talk I introduce a variety of model checkers and give an introduction to symmetry reduction methods, and their implementations.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Miller, Professor Alice
Authors: Miller, A., and Donaldson, A.F.
College/School:College of Science and Engineering > School of Computing Science
Related URLs:

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