Systematic testing and formal verification to validate reactive programs

This publication has 11 references indexed in Scilit:

• Systematic testing: A means for validating reactive systems
  Software Testing, Verification and Reliability, 1995
• Protocol testing
  Published by Association for Computing Machinery (ACM) ,1994
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Synchronous Programming of Reactive Systems
  Published by Springer Nature ,1993
• Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
  IEEE Transactions on Software Engineering, 1992
• Programming real-time applications with SIGNAL
  Proceedings of the IEEE, 1991
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• From a synchronous declarative language to a temporal logic dealing with multiform time
  Published by Springer Nature ,1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• On the Development of Reactive Systems
  Published by Springer Nature ,1985