Vacuity Detection in Temporal Model Checking

This publication has 19 references indexed in Scilit:

• Relating Linear and Branching Model Checking
  1998
• Efficient detection of vacuity in ACTL formulas
  1997
• Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
  Theoretical Computer Science, 1995
• Reasoning about Infinite Computations
  Information and Computation, 1994
• Expressibility results for linear-time and branching-time logics
  1989
• Modalities for model checking: branching time logic strikes back
  Science of Computer Programming, 1987
• Automata-theoretic techniques for modal logics of programs
  Journal of Computer and System Sciences, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• The complexity of propositional linear temporal logics
  Journal of the ACM, 1985
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981