Temporal resolution: a breadth-first search approach

This publication has 12 references indexed in Scilit:

• A decision method for linear temporal logic
  Published by Springer Nature ,2006
• A graph-based approach to resolution in temporal logic
  Published by Springer Nature ,2005
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Nonclausal deduction in first-order temporal logic
  Journal of the ACM, 1990
• Now you may compose temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1984
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Verifying Concurrent Processes Using Temporal Logic
  Published by Springer Nature ,1982
• Myths about the mutual exclusion problem
  Information Processing Letters, 1981
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977