Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
-
Updated
Apr 14, 2021 - Coq
Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
Add a description, image, and links to the theorem topic page so that developers can more easily learn about it.
To associate your repository with the theorem topic, visit your repo's landing page and select "manage topics."