Pages that link to "Item:Q2891400"
From MaRDI portal
The following pages link to Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (Q2891400):
Displaying 5 items.
- SMT-based model checking for recursive programs (Q518396) (← links)
- On recursion-free Horn clauses and Craig interpolation (Q746767) (← links)
- Exploiting partial variable assignment in interpolation-based model checking (Q2009611) (← links)
- (Q3384902) (← links)
- SMT-based verification of program changes through summary repair (Q6056638) (← links)
