Randomized Algorithms for Program Analysis and Verification.

George C. Necula, Sumit Gulwani

Browse the full CAV paper archive.