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,

Abstract

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
• Status: Published
• Refereed: Yes
• 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

• Organisation