Latest Method for FSM Equivalence
? New technique of state-enumeration based on breadth first traversal of State Transition Graph (Implicit state enumeration)
? Based on BDDs extended to multiple-valued (symbolic) variables (MDD)
Set of reached states described by map represented by MDDs