Oracle-based checking of untrusted software.

George C. Necula, Shree Prakash Rahul

Browse the full POPL paper archive.