DistributedComponents

DistributedComponents

🏢 Organization

3 repositories on SrcLog

View on GitHub
3 Repos
114 Stars
12 Forks
114 Watchers

Repositories (3)

disel DistributedComponents/disel Coq

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

100
verdi-lockserv DistributedComponents/verdi-lockserv Coq

An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework

11
verdi-runtime DistributedComponents/verdi-runtime OCaml

Verdi framework runtime library

3