GitHub repository: DistributedComponents/disel
Primary language: Coq
Created: 2016-11-18T00:09:58Z
Description: Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq