DistributedComponents / diselLinks

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

Alternatives and similar repositories for disel

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

Sorting: