Verifying Verified Code.

Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel

Browse the full ATVA paper archive.