Wiki
Clone wikiufo / Publications
UFO Publications
- UFO: Verification with Interpolants and Abstract Interpretation
Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, and Marsha Chechik
International Competition on Software Verification (SV-COMP 2013) Contribution,
held at Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), 2013. - Craig Interpretation
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
Static Analysis Symposium (SAS 2012), 2012. - UFO: A Framework for Abstraction- and Interpolation-Based Software Verification
Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik
Computer Aided Verification (CAV 2012), 2012. - From Underapproximations to Overapproximations and Back
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), 2012. - Whale: An Interpolation-based Algorithm for Inter-procedural Verification
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), 2012.
Updated