An integration of model checking with automated proof checking

This publication has 14 references indexed in Scilit:

• Verifying temporal properties of processes
  Published by Springer Nature ,2005
• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving
  Published by Springer Nature ,1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Another look at LTL model checking
  Published by Springer Nature ,1994
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Verification of a multiplier: 64 bits and beyond
  Published by Springer Nature ,1993
• A structural induction theorem for processes
  Published by Association for Computing Machinery (ACM) ,1989
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983