×

TopSpin

swMATH ID: 972
Software Authors: Donaldson, Alastair; Miller, Alice
Description: Automatic Symmetry Reduction for the SPIN Model Checker. TopSPIN is an automatic symmetry reduction tool for the SPIN model checker. TopSPIN is applied to a Promela specification, and, provided that the specification adheres to some restrictions (detailed in the user manual), uses computational group theory to automatically determine a group of component symmetries associated with the specification. The tool automatically modifies the model checking algorithm employed by SPIN to exploit these symmetries during verification. This can result in significantly reduced memory consumption, and in many cases also in faster verification time.
Homepage: http://www.doc.ic.ac.uk/~afd/topspin/
Dependencies: SPIN
Related Software: SPIN; SymmSpin; GAP; Uppaal; nauty; Spin-to-Grape; PROMELA; CUDD; TransGrp; Traces; jSpin; Z2sal; Atelier B; B4Free; ProB; Rodin; SLAM; DDVerify; SatAbs; Bebop
Cited in: 11 Documents
all top 5

Cited by 20 Authors

5 Donaldson, Alastair F.
3 Miller, Alice Ann
2 Leuschel, Michael
2 Massart, Thierry Jacques
2 Wahl, Thomas
1 Basler, Gérard
1 Chang, Mun See
1 Culberson, Joseph C.
1 D’silva, Vijay
1 Felner, Ariel
1 Holte, Robert C.
1 Jaghoori, Mohammad Mahdi
1 Jefferson, Christopher
1 Khamespanah, Ehsan
1 Kröning, Daniel
1 Mazzucchi, Michele
1 Mousavi, Mohammadreza
1 Movaghar, Ali
1 Sirjani, Marjan
1 Zahavi, Uzi
all top 5

Cited in 7 Serials

2 Annals of Mathematics and Artificial Intelligence
1 Acta Informatica
1 Journal of Symbolic Computation
1 Journal of Automated Reasoning
1 Formal Aspects of Computing
1 Formal Methods in System Design
1 The Journal of Artificial Intelligence Research (JAIR)

Cited in 3 Fields

10 Computer science (68-XX)
3 Group theory and generalizations (20-XX)
1 Mathematical logic and foundations (03-XX)

Citations by Year