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: 04 Apr 2025
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: 09 Apr 2025
https://github.com/distributedcomponents/verdi-lockserv
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
coq distributed-systems mutual-exclusion proof verdi
Last synced: 01 Dec 2024
https://github.com/distributedcomponents/verdi-runtime
Verdi framework runtime library
network-library ocaml ocaml-library runtime-system verdi
Last synced: 01 Dec 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: 10 Mar 2025