Around Xeve
Fc2symbmin: symbolic bisimulation minimization
- explicit states, symbolic actions
- synchronous product for compositional methods
- fc2 format
-
Atg: automata graphical exploration
Xes: Esterel graphical simulator
- playback error paths at the source level
- csimul format