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
- Whale: an interpolation-based algorithm for inter-procedural verification
- Interpolation systems for ground proofs in automated deduction: a survey
- Predicate abstraction for program verification
- Automated formal analysis and verification: an overview
- Complete instantiation-based interpolation
- Abstraction and abstraction refinement
- 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
- On interpolation in automated theorem proving
- From under-approximations to over-approximations and back
This page was built for software: Wolverine
