Exploiting Pointer Analysis in Memory Models for Deductive Verification.

Quentin Bouillaguet, Franois Bobot, Mihaela Sighireanu, Boris Yakobowski

Browse the full VMCAI paper archive.