tomjridge.github.io

Filesystems

With others, I am working on formally specifying, implementing and verifying filesystems.

Some additional resources: