PrototypeCommune
DistributedComponents/disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
- Propriétaire
- DistributedComponents (organisation)
- Étoiles
- Étoiles : 103
- Forks
- Forks : 8
- Langage
- Coq
- Licence
- BSD-2-Clause
- Création
- 2016
- Sujets
- distributed-systemscoqtwo-phase-commitseparation-logicproofcoq-librarymathcompssreflect
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Coq
Tous les dépôts Coq- clarus/falsoÉtoiles : 105CoqPrototype
- jonleivent/mindless-codingÉtoiles : 104CoqPrototype
- Ptival/PeaCoqÉtoiles : 104CoqPrototype
- amintimany/CategoriesÉtoiles : 101CoqPrototype