Esterel Downloads






fsm_verify : FSM behavior equivalence checker
The fsm_verify tool checks for equivalent behavior of two finite state machines with respect their reachable state sets. Fsm_verify uses a BDD-based algorithm above the TiGeR system library.
Download it:
Files are in .tgz compressed
Decosf1 version Linux version
SunOs5.5 version SunSolaris version


 Contact Esterel Webmaster@