Spinroot

A forum for Spin users

You are not logged in.

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

benari
Member
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:
[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

Board footer

Powered by FluxBB