Using Dynamically Layered Definite Releases for Verifying the RefFS File System.

Mo Zou, Dong Du, Mingkai Dong, Haibo Chen

Browse the full OSDI paper archive.