PeRIPLO
From MaRDI portal
Software:19912
No author found.
Related Items (7)
Labelled interpolation systems for hyper-resolution, clausal, and local proofs ⋮ Guiding Craig interpolation with domain-specific abstractions ⋮ Resolution proof transformation for compression and interpolation ⋮ Exploiting partial variable assignment in interpolation-based model checking ⋮ Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection ⋮ OpenSMT2: An SMT Solver for Multi-core and Cloud Computing ⋮ PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
This page was built for software: PeRIPLO