Real-time temporal logic decision procedures

This publication has 13 references indexed in Scilit:

• Proving precedence properties: The temporal way
  Published by Springer Nature ,2006
• Verifying finite state real-time discrete event processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Using higher-order logic for modular specification of real-time distributed systems
  Published by Springer Nature ,1988
• A Graph-Theoretic Approach for Timing Analysis and its Implementation
  IEEE Transactions on Computers, 1987
• Safety Analysis Using Petri Nets
  IEEE Transactions on Software Engineering, 1987
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• How to cook a temporal proof system for your pet language
  Published by Association for Computing Machinery (ACM) ,1983
• Recoverability of Communication Protocols--Implications of a Theoretical Study
  IEEE Transactions on Communications, 1976