File systems deserve verification too!

Operating Systems Review, pp. 58-64, 2014.

Cited by: 26|Views41
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments