Academic Journals Database
Disseminating quality controlled scientific knowledge

Replication and Abstraction: Symmetry in Automated Formal Verification

Author(s): Thomas Wahl | Alastair Donaldson

Journal: Symmetry
ISSN 2073-8994

Volume: 2;
Issue: 2;
Start page: 799;
Date: 2010;
Original page

Keywords: model checking | state explosion | replication | abstraction | symmetry

This article surveys fundamental and applied aspects of symmetry in system models, and of symmetry reduction methods used to counter state explosion in model checking, an automated formal verification technique. While covering the research field broadly, we particularly emphasize recent progress in applying the technique to realistic systems, including tools that promise to elevate the scope of symmetry reduction to large-scale program verification. The article targets researchers and engineers interested in formal verification of concurrent systems.
Why do you need a reservation system?      Save time & money - Smart Internet Solutions