Pages that link to "Item:Q300418"
From MaRDI portal
The following pages link to Guiding Craig interpolation with domain-specific abstractions (Q300418):
Displaying 7 items.
- Causality-based game solving (Q832242) (← links)
- Automating regression verification of pointer programs by predicate abstraction (Q1650864) (← links)
- Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic (Q2058375) (← links)
- Syntax-guided synthesis for lemma generation in hardware model checking (Q2234081) (← links)
- The \textsc{Golem} Horn solver (Q6535535) (← links)
- Global guidance for local generalization in model checking (Q6632197) (← links)
- Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification (Q6661749) (← links)
