Sound Modular Verification of C Code Executing in an Unverified Context.

Pieter Agten, Bart Jacobs, Frank Piessens

Browse the full POPL paper archive.