print · login   

The following modelling frameworks are supported :

DFAs
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