2 results found Sort:

LearnLib
automatalib LearnLib
33
95
apache-2.0
11
A free, open-source Java library for modeling automata, graphs, and transition systems
java graph automata java-library transition-systems
Created 2013-03-15
1,063 commits to develop branch, last one 19 days ago
SRI-CSL
sally SRI-CSL
13
74
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
943 commits to master branch, last one 3 months ago