GitHub - o314/erigone: Erigone Model Checker

o314 / erigone Public

forked from motib/erigone

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Erigone Model Checker

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
bats		bats
bin		bin
docs		docs
eui		eui
examples		examples
extras		extras
list		list
pcdp-erigone		pcdp-erigone
psmc-erigone		psmc-erigone
src		src
test		test
trace		trace
v-n		v-n
vmc		vmc
.gitattributes		.gitattributes
.gitignore		.gitignore
erigone-quick.pdf		erigone-quick.pdf
erigone-release.html		erigone-release.html
readme.txt		readme.txt

Repository files navigation

              The Erigone Model Checker
      Copyright 2008-12 by Mordechai (Moti) Ben-Ari. GNU GPL.
              See copyright.txt

Download and open the archive erigone-N.zip, where N is the version
number. Open the archive in a clean directory.

The subdirectory docs contains a quick start guide and a user's guide.

The source code with its documentation is in erigone-source-N.zip.

The regresssion testing suite of Promela programs is in erigone-test-N.zip.

An archive of graphs of verifications is in vmc-examples-N.zip.