Formal Verification of a Crash-Safe File System Based on Non-Persistent Conditions Extended Concurrent Separation Logic.

Xinmin Zheng, Mingshu Li, Qiusong Yang, Wenbo Li

Browse the full ICPADS paper archive.