namasikanam

namasikanam

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
16 Stars
3 Forks
16 Watchers

Repositories (1)

raft-spin namasikanam/raft-spin

A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University

16