Pages that link to "Item:Q300418"
From MaRDI portal
The following pages link to Guiding Craig interpolation with domain-specific abstractions (Q300418):
Displaying 4 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)
