2 open source projects by DistributedComponents

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

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