Yi Li bio photo

Yi Li

Associate Professor

College of Computing and Data Science (CCDS)
Nanyang Technological University (NTU)

Address: Block N4-02b-63
50 Nanyang Avenue, Singapore 639798
Phone: +65 6790 4287

Email Twitter LinkedIn GitHub Bitbucket Google Scholar ORCID

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

Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, and Marsha Chechik

In Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2013

Cite:

@inproceedings{Albarghouthi2013UFO,
  author = {Albarghouthi, Aws and Gurfinkel, Arie and Li, Yi and Chaki, Sagar and Chechik, Marsha},
  booktitle = {Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  month = mar,
  pages = {637--640},
  title = {{UFO}: Verification with Interpolants and Abstract Interpretation - (Competition Contribution)},
  year = {2013}
}
Paper