Co-Design and Verification of an Available File System

Publication
19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)