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