Spinroot

During my PhD I developed Etch, and enhanded type checker for Promela, and TopSPIN, a symmetry reduction add-on for SPIN.

I've made these available again as open source:

https://github.com/afd/symmetrytools

and the tools can also be downloaded from my website:

http://www.doc.ic.ac.uk/~afd/etch/
http://www.doc.ic.ac.uk/~afd/topspin/

Cheers

Ally