ESTEREL: a formal method applied to avionic software development

This publication has 25 references indexed in Scilit:

• Efficient chaotic iteration strategies with widenings
  Published by Springer Nature ,2006
• The B-method
  Published by Springer Nature ,2005
• Compositional model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Xeve, an Esterel verification environment
  Published by Springer Nature ,1998
• Verifying synchronous reactive systems programmed in ESTEREL
  Lecture Notes in Computer Science, 1996
• Abstract debugging of higher-order imperative languages
  ACM SIGPLAN Notices, 1993
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Esterel on hardware
  Philosophical Transactions A, 1992
• The ESTEREL language
  Proceedings of the IEEE, 1991
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986