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

    Coq 7 1 BSD-2-Clause Updated Oct 15, 2018
  • Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations.

    Coq 55 3 BSD-2-Clause Updated Sep 30, 2018
  • Distributed Components development package repository for OPAM

    Updated Sep 21, 2018
  • HTML Updated Sep 19, 2018
  • A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

    Coq 6 Updated Sep 19, 2018
  • Verdi framework runtime library

    OCaml 1 BSD-2-Clause Updated Aug 14, 2018
  • Bash script for simple generation of Coq project metadata files

    Shell 5 5 Updated Jan 19, 2018
  • An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework

    Coq 5 4 BSD-2-Clause Updated Oct 23, 2017
  • Distributed Components Coq development package repository for OPAM

    Updated Sep 25, 2017
  • A verified system transformer for serialization of Verdi systems using the Cheerios library.

    Coq Updated Aug 24, 2017
  • An implementation of a distributed aggregation protocol, verified in Coq using the Verdi framework

    Coq 1 BSD-2-Clause Updated Aug 5, 2017
  • Standalone version of CompCert's parser validator Coq library as used by the Menhir parser generator

    Coq Updated Jul 24, 2017
  • Distributed Components package repository for OPAM

    Updated Jan 19, 2017
  • Shell Updated Jan 6, 2017