swMATH7896MaRDI QIDQ19912FDOQ19912
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007%2F978-3-642-45221-5_45
Cited In (15)
- 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
- OpenSMT2: an SMT solver for multi-core and cloud computing
- Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection
- FunFrog
- OpenSMT
- eVolCheck
- CMU Benchmarks
- SATLIB Benchmark Suite
- FOCI
- OpenSMT2
- PeRIPLO: a framework for producing effective interpolants in SAT-based software verification
- Pono
This page was built for software: PeRIPLO
