github.com/mit-pdos/go-journal (go): Verified, concurrent, crash-safe transaction system
Keywords: verification