Overview Modelling Frameworks
The following modelling frameworks are supported:
- Finite Automata(DFAs/NFAs)
- syntax benchmarks
- Moore machines
- syntax
- Mealy machines
- syntax
- Interface automata
- syntax
- Register automata
- syntax
- Register automata with fresh output
- syntax
- Extended Finite State machines
- syntax benchmarks
- Observable Nondeterministic Finite State Machine (ONFSM)
- syntax benchmarks
