/disel

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

Primary LanguageCoqBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Watchers