Olivier Tardieu

Suggest Changes
Learn More
ESTEREL is a synchronous design language for the specification of reactive systems. Thanks to its compact formal semantics, code generation for ESTEREL is essentially provably correct. In practice,(More)