File systems deserve verification too!
Operating Systems Review, pp. 58-64, 2014.
File systems are too important, and current ones are too buggy, to remain unverified. Yet the most successful verification methods for functional correctness remain too expensive for current file system implementations-we need verified correctness but at reasonable cost. This paper presents our vision and ongoing work to achieve this goal...More
PPT (Upload PPT)