Formal Verification of Memory Preservation of x86-64 Binaries.

Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran

Browse the full SAFECOMP paper archive.