TopSPIN Version 2.2 Automatic symmetry reduction for the SPIN model checker User Manual Alastair F. Donaldson Before You Begin What this manual covers This user manual provides…