Esterel Downloads
 
   
Find
 
 
 

 

 

 

 

 

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@