2 results found Sort:

LearnLib
automatalib LearnLib
34
94
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
1,016 commits to develop branch, last one 3 days ago
SRI-CSL
sally SRI-CSL
13
69
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 16 days ago