Computer Aided Verification
From MaRDI portal
Publication:5312923
DOI10.1007/b98490zbMath1103.68604OpenAlexW4298302743MaRDI QIDQ5312923
Thomas Ball, Shuvendu K. Lahiri, Lintao Zhang, Byron Cook
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98490
Related Items
Strategies for combining decision procedures ⋮ SAT-Based Model Checking ⋮ Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness ⋮ M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures ⋮ Linear Arithmetic with Stars ⋮ Efficient theory combination via Boolean search ⋮ Interpolant Generation for UTVPI ⋮ An Improved Tight Closure Algorithm for Integer Octagonal Constraints ⋮ Zapato ⋮ Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis ⋮ Distributing the Workload in a Lazy Theorem-Prover
Uses Software
