PrototypeCommon
DistributedComponents/disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
- Owner
- DistributedComponents (organization)
- Stars
- Stars: 103
- Forks
- Forks: 8
- Language
- Coq
- License
- BSD-2-Clause
- Created
- 2016
- Topics
- distributed-systemscoqtwo-phase-commitseparation-logicproofcoq-librarymathcompssreflect
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Coq
All Coq repos- clarus/falsoStars: 105CoqPrototype
- jonleivent/mindless-codingStars: 104CoqPrototype
- Ptival/PeaCoqStars: 104CoqPrototype
- amintimany/CategoriesStars: 101CoqPrototype