Lazy Theorem Proving for Bounded Model Checking over Infinite Domains

This publication has 26 references indexed in Scilit:

• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Benefits of Bounded Model Checking at an Industrial Setting
  Published by Springer Nature ,2001
• ICS: Integrated Canonizer and Solver?
  Published by Springer Nature ,2001
• Bounded Model Checking Using Satisfiability Solving
  Formal Methods in System Design, 2001
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Symbolic Model Checking without BDDs
  Published by Defense Technical Information Center (DTIC) ,1999
• Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions
  Published by Springer Nature ,1999
• BDD based procedures for a theory of equality with uninterpreted functions
  Published by Springer Nature ,1998
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986