dariusf / disel Goto Github PK
View Code? Open in Web Editor NEWThis project forked from distributedcomponents/disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
License: BSD 2-Clause "Simplified" License