verdi

There are 6 repositories under verdi topic.

uwplse/verdi
A framework for formally verifying distributed systems implementations in Coq
Language:Coq590 67 2556
uwplse/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Language:Coq183 55 1919
DistributedComponents/verdi-lockserv
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
Language:Coq13 6 05
DistributedComponents/verdi-runtime
Verdi framework runtime library
Language:OCaml3 6 62
DistributedComponents/verdi-cheerios
A verified system transformer for serialization of Verdi systems using the Cheerios library.
Language:Coq1 5 00
geitanksha/risc-v-pipelined
Created a RISC-V Pipelined processor in SystemVerilog with features like Caches, Prefetching, History Table. Skills employed: SystemVerilog, Verdi, Logic Design, Computer Architecture
Language:HTML0 1 00