UFO: Verification with Interpolants and Abstract Interpretation
Authors:
- 1 January 2013
- book chapter
- Published by Springer Nature
- p. 637-640
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification2012
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification2012
- From Under-Approximations to Over-Approximations and BackLecture Notes in Computer Science, 2012
- Craig Interpretation2012
- Boxes: A Symbolic Abstract Domain of Boxes2010
- Z3: An Efficient SMT Solver2008
- Efficient chaotic iteration strategies with widenings2006
- Lazy Abstraction with Interpolants2006
- LLVM: A compilation framework for lifelong program analysis & transformation2004