A forum for Spin users
You are not logged in.
Pages: 1
Erigone is a Spin-compatible model checker designed for educational purposes:
* It is single executable file so installation and use are trivial.
* Erigone produces a detailed, customizable trace of the model-checking algorithms in a keyword-based format that can be directly read or used by other tools.
* The source code is documented in detail.
Version 3 now supports almost all of Promela.
For more detail see:
[url]http://stwww.weizmann.ac.il/g-cs/benari/erigone/index.html[/url]
Download from:
[url]http://code.google.com/p/erigone/[/url]
Discussions on the mailing list:
[url]http://groups.google.com/group/Erigone[/url]
Moti
Offline
Pages: 1