disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
94 stars
13 watching
7 forks
Language: Coq
last commit: 2 months ago coqcoq-librarydistributed-systemsmathcompproofseparation-logicssreflecttwo-phase-commit