PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
From MaRDI portal
Publication:2870162
DOI10.1007/978-3-642-45221-5_45zbMath1407.68303OpenAlexW2278622565MaRDI QIDQ2870162
Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina, Simone Fulvio Rollini, Grigory Fedyukovich
Publication date: 17 January 2014
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-45221-5_45
Related Items (7)
Labelled interpolation systems for hyper-resolution, clausal, and local proofs ⋮ Lattice-based refinement in bounded model checking ⋮ Guiding Craig interpolation with domain-specific abstractions ⋮ SMT-based verification of program changes through summary repair ⋮ Exploiting partial variable assignment in interpolation-based model checking ⋮ Efficient Unlinkable Sanitizable Signatures from Signatures with Re-randomizable Keys ⋮ OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
Uses Software
This page was built for publication: PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
