verdi

A framework for formally verifying distributed systems implementations in Coq

License

BSD 2-Clause "Simplified" License

A framework for formally verifying distributed systems implementations in Coq

Creator

uwplse

Related apps