Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification
Abstract elided by the publisher.
Related papers
- UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution) TACAS 2013
- Interpolation-Based Software Verification with Wolverine CAV 2011
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Nested interpolants POPL 2010
- Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL SAS 2013
- Generating Non-linear Interpolants by Semidefinite Programming CAV 2013
- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) TACAS 2023
- Decomposing Farkas Interpolants TACAS 2019