verdi

There are 0 repository under verdi topic.

• uwplse / verdi

  A framework for formally verifying distributed systems implementations in Coq

  coqcoq-librarydistributed-systemsproofverdi
  Language:Coq 575

• uwplse / verdi-raft

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

  raftverdicoqproofdistributed-systemsconsensuskey-value
  Language:Coq 178

• DistributedComponents / verdi-lockserv

  An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework

  coqdistributed-systemsmutual-exclusionproofverdi
  Language:Coq 13

• DistributedComponents / verdi-runtime

  Verdi framework runtime library

  network-libraryocamlocaml-libraryruntime-systemverdi
  Language:OCaml 3

• DistributedComponents / verdi-cheerios

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

  coqcoq-libraryproofserializationverdi
  Language:Coq 1

• 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

  computer-architecturelogic-designsystemverilogverdi
  Language:HTML 0