Abstract: File systems, a basic building block of an OS, are too big and too complex to be bug free. Nevertheless, file systems rely on regular stress-testing tools and formal checkers to find bugs, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback