Verifying File System Consistency at Runtime
[Home]
[Team]
We aim to protect file system metadata structures on disk against errors in the file system code by checking file system updates against a set of consistency rules before committing them to disk.
Sponsors