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