Safety property verification of Esterel programs and applications to telecommunications software

This publication has 15 references indexed in Scilit:

• A formal approach to reactive systems software: a telecommunications application in ESTEREL
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
  IEEE Transactions on Software Engineering, 1992
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• The benefits of relaxing punctuality
  Published by Association for Computing Machinery (ACM) ,1991
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• The5ESSSwitching System: Maintenance Capabilities
  AT&T Technical Journal, 1985
• Checking that finite state concurrent programs satisfy their linear specification
  Published by Association for Computing Machinery (ACM) ,1985
• The glory of the past
  Published by Springer Nature ,1985