UFO: Verification with Interpolants and Abstract Interpretation (Competition Contribution)

Aws Albarghouthi, Arie Gurnkel, Yi Li, Sagar Chaki, Marsha Chechik, Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, 2013, Invited paper, to appear.

Abstract: There is no abstract. This is an invited paper that accompanied the submission of the software model checker, UFO, to the second software verification competition (SVCOMP'13).