GitHub - trishankkarthik/erigoneP: The Erigone model checker with the Pomegranate compiler

trishankkarthik / erigoneP Public

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

The Erigone model checker with the Pomegranate compiler

code.google.com/p/erigone/

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
dist		dist
docs		docs
examples		examples
src		src
trace		trace
README.md		README.md
pomegranate.pdf		pomegranate.pdf

Repository files navigation

The Erigone model checker with the Pomegranate compiler

The Pomegranate compiler that I wrote as my Master's thesis, designed and implemented for the Erigone model checker.

About

The Erigone model checker with the Pomegranate compiler

code.google.com/p/erigone/

Report repository

Releases

No releases published

Packages

No packages published

Languages