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