Relating Linear and Branching Model Checking

This publication has 16 references indexed in Scilit:

• Buy one, get one free!!!
  Journal of Logic and Computation, 1996
• Methodology and system for practical formal verification of reactive hardware
  Published by Springer Nature ,1994
• A unified approach for showing language inclusion and equivalence between various types of ω-automata
  Information Processing Letters, 1993
• Temporal and Modal Logic
  Published by Elsevier ,1990
• Nondeterministic Space is Closed under Complementation
  SIAM Journal on Computing, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• The complexity of propositional linear temporal logics
  Journal of the ACM, 1985
• Space-bounded reducibility among combinatorial problems
  Journal of Computer and System Sciences, 1975
• Finite Automata and Their Decision Problems
  IBM Journal of Research and Development, 1959