Combining Abstraction Refinement and SAT-Based Model Checking

DOI10.1007/978-3-540-71209-1_31zbMath1186.68274OpenAlexW1585696877MaRDI QIDQ5758121

Nina Amla, K. L. McMillan

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_31

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Splitting via Interpolants ⋮ Predicate Elimination for Preprocessing in First-Order Theorem Proving

Uses Software

• SATIRE
• Chaff

This page was built for publication: Combining Abstraction Refinement and SAT-Based Model Checking