1. Arie Gurfinkel Avatar Arie Gurfinkel
  2. Untitled project
  3. ufo

Wiki

Clone wiki

ufo / Publications

View History

UFO Publications

  1. 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.
  2. Craig Interpretation
    Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
    Static Analysis Symposium (SAS 2012), 2012.
  3. UFO: A Framework for Abstraction- and Interpolation-Based Software Verification
    Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik
    Computer Aided Verification (CAV 2012), 2012.
  4. 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.
  5. 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