github.com/mit-pdos/daisy-nfsd (go): DaisyNFS is an NFS server verified using Dafny and Perennial.
Keywords: dafny|verification