Regression Verification for Multi-threaded Programs.

Sagar Chaki, Arie Gurfinkel, Ofer Strichman

Browse the full VMCAI paper archive.