A Fully Verified Persistency Library.

Stefan Bodenmller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Browse the full VMCAI paper archive.