Projects in Awesome Lists tagged with transition-systems
A curated list of projects in awesome lists tagged with transition-systems .
https://github.com/learnlib/automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
automata graph java java-library transition-systems
Last synced: 12 Apr 2025
https://github.com/sri-csl/sally
A model checker for infinite-state systems.
bounded-model-checking ic3 k-induction model-checker transition-systems verification
Last synced: 07 Apr 2025
https://github.com/deryeger/minicheck
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
cli ctl-formulas haskell haskell-application ltl-formulas model-checking transition-systems tu-wien
Last synced: 03 Apr 2025
https://github.com/sakryukov/generic-state-machine
Transition system and state machine generic classes can be instantiated with any enumeration types representing the sets of states and the input and output alphabets
acceptors csharp dotnet enumeration finite-state-machine generics graph-algorithms graphs np-hard state-machine transducers transition-matrix transition-systems transitions
Last synced: 30 Mar 2025
