uwplse / verdiLinks

A framework for formally verifying distributed systems implementations in Coq
608Updated last year

Alternatives and similar repositories for verdi

Users that are interested in verdi are comparing it to the libraries listed below

Sorting: