Wolverine

Wolverine: battling bugs with interpolants. Wolverine is a software verifier that checks safety properties of sequential ANSI-C and C++ programs, deploying Craig interpolation to derive program invariants. We describe the underlying approach and the architecture, and provide instructions for installation and usage.


References in zbMATH (referenced in 13 articles , 1 standard article )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Hajdu, Ákos; Micskei, Zoltán: Efficient strategies for CEGAR-based model checking (2020)
  2. Dams, Dennis; Grumberg, Orna: Abstraction and abstraction refinement (2018)
  3. Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey: Predicate abstraction for program verification (2018)
  4. Totla, Nishant; Wies, Thomas: Complete instantiation-based interpolation (2016)
  5. Bonacina, Maria Paola; Johansson, Moa: On interpolation in automated theorem proving (2015)
  6. Bonacina, Maria Paola; Johansson, Moa: Interpolation systems for ground proofs in automated deduction: a survey (2015)
  7. Křena, Bohuslav; Vojnar, Tomáš: Automated formal analysis and verification: an overview (2013)
  8. Albarghouthi, Aws; Gurfinkel, Arie; Chechik, Marsha: Whale: an interpolation-based algorithm for inter-procedural verification (2012)
  9. Albarghouthi, Aws; Gurfinkel, Arie; Chechik, Marsha: From under-approximations to over-approximations and back (2012)
  10. Ermis, Evren; Hoenicke, Jochen; Podelski, Andreas: Splitting via interpolants (2012)
  11. Flanagan, Cormac (ed.); König, Barbara (ed.): 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 (2012)
  12. Weissenbacher, Georg; Kroening, Daniel; Malik, Sharad: Wolverine: battling bugs with interpolants (competition contribution) (2012) ioport
  13. Kroening, Daniel; Weissenbacher, Georg: Interpolation-based software verification with Wolverine (2011) ioport