What if model checking must be truly symbolic

This publication has 9 references indexed in Scilit:

• Model checking and modular verification
  ACM Transactions on Programming Languages and Systems, 1994
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Verifying Temporal Properties of Systems
  Published by Springer Nature ,1992
• Verification of Sequential and Concurrent Programs
  Published by Springer Nature ,1991
• Temporal and Modal Logic
  Published by Elsevier ,1990
• Local model checking in the modal mu-calculus
  Lecture Notes in Computer Science, 1989
• Characterizing finite Kripke structures in propositional temporal logic
  Theoretical Computer Science, 1988
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967