Wolverine
From MaRDI portal
Cited in
(24)- BLAST
- SLAM
- CPAchecker
- ACL2s
- UFO
- SLAB
- Efficient strategies for CEGAR-based model checking
- CSIsat
- On interpolation in automated theorem proving
- SatAbs
- QuteRTL
- FShell
- Automated formal analysis and verification: an overview
- Interpolation systems for ground proofs in automated deduction: a survey
- Whale: an interpolation-based algorithm for inter-procedural verification
- Splitting via Interpolants
- From under-approximations to over-approximations and back
- VS3
- Abstraction and abstraction refinement
- Predicate abstraction for program verification
- DDVerify
- ANaConDA
- Complete instantiation-based interpolation
- 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
This page was built for software: Wolverine
