DistributedComponents / disel

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

DistributedComponents/disel Stargazers