Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with verdi

A curated list of projects in awesome lists tagged with verdi .

https://github.com/uwplse/verdi

A framework for formally verifying distributed systems implementations in Coq

coq coq-library distributed-systems proof verdi

Last synced: 10 Oct 2024

https://github.com/uwplse/verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

consensus coq distributed-systems key-value proof raft verdi

Last synced: 12 Nov 2024

https://github.com/DistributedComponents/verdi-cheerios

A verified system transformer for serialization of Verdi systems using the Cheerios library.

coq coq-library proof serialization verdi

Last synced: 23 Oct 2024