2 results found Sort:

LearnLib
automatalib LearnLib
34
90
apache-2.0
12
A free, open-source Java library for modeling automata, graphs, and transition systems
java graph automata java-library transition-systems
Created 2013-03-15
996 commits to develop branch, last one about a month ago
SRI-CSL
sally SRI-CSL
12
68
gpl-2.0
13
A model checker for infinite-state systems.
ic3 k-induction verification model-checker transition-systems bounded-model-checking
Created 2014-10-03
942 commits to master branch, last one 3 years ago