Pages that link to "Item:Q5222945"
From MaRDI portal
The following pages link to Function Summarization Modulo Theories (Q5222945):
Displaying 5 items.
- Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic (Q2058375) (← links)
- Unbounded procedure summaries from bounded environments (Q2234080) (← links)
- SMT-based verification of program changes through summary repair (Q6056638) (← links)
- Transition power abstractions for deep counterexample detection (Q6535576) (← links)
- Formula normalizations in verification (Q6535699) (← links)
