The Esterel compiler can be used to generate
a software or hardware implementation of a reactive program.
It can generate
C-code to be embedded as a reactive kernel in a larger program that handles
the interface and data manipulations. It
can also generate hardware in the form of netlists of gates, which can then
be embedded in a larger system.
a graphical symbolic debugger for Esterel, extensive optimization tools,
and interface with explicit or BDD-based verification tools that perform
either bisimulation reduction or safety property checking.