Distributed Components

Distributed Components's repositories

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

Language:CoqBSD-2-Clause93 13 1

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

Language:Coq13 3 2

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

Language:CoqBSD-2-Clause13 60

An implementation of the Chord lookup protocol verified in Coq using the Verdi framework

Language:CoqBSD-2-Clause10 4 14

Bash script for simple generation of Coq project metadata files

Language:Shell9 3 5

Verdi framework runtime library

Language:OCamlBSD-2-Clause3 6 6

An implementation of a distributed aggregation protocol, verified in Coq using the Verdi framework

Language:CoqBSD-2-Clause2 4 1

Standalone version of CompCert's parser validator Coq library as used by the Menhir parser generator

Language:Coq1 50

Distributed Components development package repository for OPAM

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

Language:Coq1 50

Language:Shell050

Language:HTML050

Distributed Components package repository for OPAM

050

Distributed Components Coq development package repository for OPAM

040