Monday, January 17, 2011

[hqqgaxhf] Formal network file system

After seeing problems with network file systems (NFS, AFS) under high load and possibly flaky network, design one from scratch using formal methods to prove security, correctness, aid debugging and optimization, etc.

No comments :