Pages that link to "Item:Q2870162"
From MaRDI portal
The following pages link to PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification (Q2870162):
Displaying 8 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
- Lattice-based refinement in bounded model checking (Q1629959) (← links)
- Exploiting partial variable assignment in interpolation-based model checking (Q2009611) (← links)
- Efficient Unlinkable Sanitizable Signatures from Signatures with Re-randomizable Keys (Q2798781) (← links)
- OpenSMT2: An SMT Solver for Multi-core and Cloud Computing (Q2818042) (← links)
- SMT-based verification of program changes through summary repair (Q6056638) (← links)
- The \textsc{Golem} Horn solver (Q6535535) (← links)
