Retired :). Did the first draft of the tool and the modal logic verifier.

Currently unmaintained. Linux lacks the necessary support for the full scope, and this project was started to resolve some performance issues of NFS in some workloads. Trying to move the code to nfs-utils.