The experimental Estelle Compiler: automatic generation of implementations from formal specifications

• Authors:

• Joachim Thees;Reinhard Gotzhein

• Affiliations:

• University of Kaiserslautern, Postfach 3049, D-67653 Kaiserslautern, Germany;University of Kaiserslautern, Postfach 3049, D-67653 Kaiserslautern, Germany

• Venue:
• FMSP '98 Proceedings of the second workshop on Formal methods in software practice
• Year:
• 1998