Advanced Symmetry Reduction Tools for Explicit State Model Checking 
department of computing science at the university of glasgow

The ARTE Project

In our previous research developing the TopSPIN symmetry reduction package for SPIN, we have cultivated a unique framework of techniques and tools for symmetry reduced explicit state model checking. We propose to extend TopSPIN and construct a new, purpose-built explicit state model checker as a test-bed for explicit state symmetry reduction techniques for probabilistic systems.
We are part of the Formal Analysis, Theory and Algorithms Group (FATA).

ARTE is funded by the Engineering and Physical Sciences Research Council, number EP/E032354/1.

FATA Research group
University of Glasgow 

arte logo

Last Update: 29 October, 2007