A decision procedure for combinations of propositional temporal logic and other specialized theories

This publication has 15 references indexed in Scilit:

• Deciding full branching time logic
  Information and Control, 1984
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• The propositional dynamic logic of deterministic, well-structured programs
  Theoretical Computer Science, 1983
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• The Total Correctness of Parallel Programs
  SIAM Journal on Computing, 1981
• The temporal logic of branching time
  Published by Association for Computing Machinery (ACM) ,1981
• Fast Decision Procedures Based on Congruence Closure
  Journal of the ACM, 1980
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• First-Order Logic
  Published by Springer Nature ,1968