kaist-cp

kaist-cp

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
2 Stars
0 Forks
2 Watchers

Repositories (1)

view-hw kaist-cp/view-hw Coq

Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)

2