transition-systems topic
List
transition-systems repositories
automatalib
88
Stars
34
Forks
Watchers
A free, open-source Java library for modeling automata, graphs, and transition systems
sally
69
Stars
12
Forks
Watchers
A model checker for infinite-state systems.
yap
43
Stars
30
Forks
Watchers
Yet Another (natural language) Parser