2 results found Sort:
A free, open-source Java library for modeling automata, graphs, and transition systems
Created
2013-03-15
996 commits to develop branch, last one 3 months ago
A model checker for infinite-state systems.
Created
2014-10-03
942 commits to master branch, last one 3 years ago