PeRIPLO
From MaRDI portal
Software:19912
swMATH7896MaRDI QIDQ19912FDOQ19912
Author name not available (Why is that?)
Cited In (7)
- Resolution proof transformation for compression and interpolation
- Exploiting partial variable assignment in interpolation-based model checking
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs
- Guiding Craig interpolation with domain-specific abstractions
- 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
