Synchronous Observers and the Verification of Reactive Systems

This publication has 28 references indexed in Scilit:

• Delay analysis in synchronous programs
  Published by Springer Nature ,1993
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Minimal state graph generation
  Science of Computer Programming, 1992
• An experience in proving regular networks of processes by modular model checking
  Acta Informatica, 1992
• Symbolic Synthesis of Supervisory Controllers
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• The ESTEREL language
  Proceedings of the IEEE, 1991
• Realizable and unrealizable specifications of reactive systems
  Published by Springer Nature ,1989
• Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
  IEEE Transactions on Software Engineering, 1987
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977