Distributed Components

disel Public
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

Coq 92 BSD-2-Clause 7 0 0 Updated Nov 28, 2022
verdi-runtime Public
Verdi framework runtime library

OCaml 3 BSD-2-Clause 2 0 0 Updated Nov 24, 2022
InfSeqExt Public
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

Coq 13 4 1 0 Updated Nov 14, 2022
opam-repository-dev Public
Distributed Components development package repository for OPAM

1 0 0 0 Updated May 2, 2019
verdi-chord Public
An implementation of the Chord lookup protocol verified in Coq using the Verdi framework

Coq 10 BSD-2-Clause 1 6 0 Updated Feb 18, 2019
distributedcomponents.github.io Public

HTML 0 0 0 0 Updated Sep 19, 2018
coqproject Public
Bash script for simple generation of Coq project metadata files

Shell 8 6 1 0 Updated Jan 19, 2018
verdi-lockserv Public
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework

Coq 11 BSD-2-Clause 4 0 0 Updated Oct 23, 2017
opam-repository-coq-dev Public
Distributed Components Coq development package repository for OPAM

0 0 0 0 Updated Sep 25, 2017
verdi-cheerios Public archive
A verified system transformer for serialization of Verdi systems using the Cheerios library.

Coq 1 0 0 0 Updated Aug 24, 2017

Popular repositories