DistributedComponents / disel

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
97Updated 7 months ago

Alternatives and similar repositories for disel:

Users that are interested in disel are comparing it to the libraries listed below