Little Engines of Proof

This publication has 64 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Automatic predicate abstraction of C programs
  Published by Association for Computing Machinery (ACM) ,2001
• Automated Reasoning in Geometry
  Published by Elsevier ,2001
• Bandera
  Published by Association for Computing Machinery (ACM) ,2000
• Abstracting WS1S Systems to Verify Parameterized Networks
  Published by Springer Nature ,2000
• Computing abstractions of infinite state systems compositionally and automatically
  Published by Springer Nature ,1998
• InVeSt : A tool for the verification of invariants
  Published by Springer Nature ,1998
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Non-resolution theorem proving
  Artificial Intelligence, 1977