The following pages link to Wolverine (Q26383):
Displaying 11 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proce (Q766306) (← links)
- Efficient strategies for CEGAR-based model checking (Q2209549) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (Q2891400) (← links)
- Splitting via Interpolants (Q2891411) (← links)
- From Under-Approximations to Over-Approximations and Back (Q2894271) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)