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