UFO: Verification with Interpolants and Abstract Interpretation (Competition Contribution)
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.
There is no abstract. This is an invited paper that accompanied the
submission of the software model
to the second software verification competition