Automatic Techniques for Detecting and Exploiting Symmetry in Model Checking

Alastair Donaldson's PhD thesis obtained from the Department of Computing Science, University of Glasgow, under the supervision of Alice Miller

Promela Specifications Used for Experiments

Download archives

• Gzipped, tarred archive of specifications used for experimental results with SymmExtractor, discussed in Section 8.4 of the dissertation
• Gzipped, tarred archive of specifications used for experimental results with TopSPIN, discussed in Section 11.3 of the dissertation