The algorithms underlying Ufo are described in [1-3]. The Ufo tool is described in more detail in [4]. Ufo marries the power and efficiency of numerical Abstract Interpretation (AI) domains [6] with the generalizing ability of interpolation-based software verification in an abstraction refinement loop. © 2013 Springer-Verlag.
CITATION STYLE
Albarghouthi, A., Gurfinkel, A., Li, Y., Chaki, S., & Chechik, M. (2013). UFO: Verification with interpolants and abstract interpretation: (Competition contribution). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7795 LNCS, pp. 637–640). https://doi.org/10.1007/978-3-642-36742-7_52
Mendeley helps you to discover research relevant for your work.