Wolverine
From MaRDI portal
Software:26383
swMATH14483MaRDI QIDQ26383FDOQ26383
Author name not available (Why is that?)
Cited In (11)
- Efficient strategies for CEGAR-based model checking
- Splitting via Interpolants
- From Under-Approximations to Over-Approximations and Back
- Interpolation systems for ground proofs in automated deduction: a survey
- Automated formal analysis and verification: an overview
- Complete instantiation-based interpolation
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
- 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. Proceedings
- Predicate Abstraction for Program Verification
- On interpolation in automated theorem proving
- Abstraction and Abstraction Refinement
This page was built for software: Wolverine
