2 results found Sort:

34
93
apache-2.0
12
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
12
69
gpl-2.0
13
A model checker for infinite-state systems.
Created 2014-10-03
942 commits to master branch, last one 3 years ago