Oracles for checking temporal properties of concurrent systems

This publication has 11 references indexed in Scilit:

• A graphical interval logic for specifying concurrent systems
  ACM Transactions on Software Engineering and Methodology, 1994
• TAOS: Testing with Analysis and Oracle Support
  Published by Association for Computing Machinery (ACM) ,1994
• State-based model checking of event-driven system requirements
  IEEE Transactions on Software Engineering, 1993
• Graphical specifications for concurrent software systems
  Published by Association for Computing Machinery (ACM) ,1992
• Specifying concurrent systems with TSL
  IEEE Software, 1991
• Real-time interval logic for reasoning about executions of real-time programs
  ACM SIGSOFT Software Engineering Notes, 1989
• Trace analysis for conformance and arbitration testing
  IEEE Transactions on Software Engineering, 1989
• Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification - TAV3
  Published by Association for Computing Machinery (ACM) ,1989
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• An interval logic for higher-level temporal reasoning
  Published by Association for Computing Machinery (ACM) ,1983