verdi
A framework for formally verifying distributed systems implementations in Coq
582 stars
65 watching
56 forks
Language: Coq
last commit: 5 months ago
Linked from 2 awesome lists
coqcoq-librarydistributed-systemsproofverdi
A framework for formally verifying distributed systems implementations in Coq