Using concurrent relational logic with helpers for verifying the AtomFS file system.

Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen

Browse the full SOSP paper archive.