Verification Methods
Symbolic Bisimulation Minimization
States and transitions collapsing enhanced with signal hiding
Canonical form for non deterministic FSMs
Polynomial time algorithm in the size of the FSM.
BDD-based algorithm [Bouali,deSimone cav’92]