A forum for Spin users
You are not logged in.
Pages: 1
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
Offline
Pages: 1