GitHub - o314/erigone: Erigone Model Checker

Branches Tags

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.