Validating Real-time Systems By History-checking TRIO Specifications

This publication has 13 references indexed in Scilit:

• An object-oriented logic language for modular system specification
  Published by Springer Nature ,2006
• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• TRIO, a logic formalism for the specification of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A model parametric real-time logic
  ACM Transactions on Programming Languages and Systems, 1992
• TRIO: A logic language for executable specifications of real-time systems
  Journal of Systems and Software, 1990
• Temporal Logic of Programs
  Published by Springer Nature ,1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Testing Formal Specifications to Detect Design Errors
  IEEE Transactions on Software Engineering, 1985
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981