A forum for Spin users

You are not logged in.

#1 2011-04-27 11:00:13

Registered: 2010-11-24
Posts: 9

Erigone version 3

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:

Download from:

Discussions on the mailing list:



Board footer

Powered by FluxBB