The SeaHorn Verification Framework
Top Cited Papers
- 16 July 2015
- book chapter
- Published by Springer Nature
- p. 343-361
Abstract
No abstract availableKeywords
This publication has 47 references indexed in Scilit:
- Property Directed Polyhedral Abstraction2015
- The Gradual VerifierLecture Notes in Computer Science, 2014
- UFO: Verification with Interpolants and Abstract Interpretation2013
- Localizing Widening and Narrowing2013
- Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification2012
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification2012
- Craig Interpretation2012
- CPAchecker: A Tool for Configurable Software Verification2011
- Software model checking via large-block encoding2009
- The software model checker BlastInternational Journal on Software Tools for Technology Transfer, 2007