tom-p-reichel/verdi
A framework for formally verifying distributed systems implementations in Coq
CoqBSD-2-Clause
Stargazers
No one’s star this repository yet.
A framework for formally verifying distributed systems implementations in Coq
CoqBSD-2-Clause
No one’s star this repository yet.