Specifying a realistic file system

Toby C. Murray
Toby C. Murray

MARS, 2015.

Cited by: 14|Views10
EI

Abstract:

We present the most interesting elements of the correctness specification of BilbyFs, a performant Linux flash file system. The BilbyFs specification supports asynchronous writes, a feature that has been overlooked by several file system verification projects, and has been used to verify the correctness of BilbyFs's fsync() C implementa...More

Code:

Data:

Your rating :
0

 

Tags
Comments