A Context-Sensitive Memory Model for Verification of C/C++ Programs.

Arie Gurfinkel, Jorge A. Navas

Browse the full SAS paper archive.