| uwplse/verdi |
559 |
|
0 |
0 |
over 2 years ago |
0 |
|
5 |
bsd-2-clause |
Coq |
| A framework for formally verifying distributed systems implementations in Coq |
| uwplse/verdi-raft |
175 |
|
0 |
0 |
over 2 years ago |
0 |
|
15 |
bsd-2-clause |
Coq |
| An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework |
| verse-lab/toychain |
103 |
|
0 |
0 |
about 6 years ago |
0 |
|
|
bsd-2-clause |
Coq |
| A minimalistic blockchain consensus implemented and verified in Coq |
| DistributedComponents/disel |
92 |
|
0 |
0 |
over 3 years ago |
0 |
|
0 |
bsd-2-clause |
Coq |
| Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq |
| coq-community/chapar |
32 |
|
0 |
0 |
over 2 years ago |
0 |
|
4 |
mit |
Coq |
| A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog] |
| logsem/aneris |
27 |
|
0 |
0 |
about 2 years ago |
0 |
|
6 |
mit |
Coq |
| Program logic for developing and verifying distributed systems |
| DistributedComponents/verdi-lockserv |
9 |
|
0 |
0 |
over 8 years ago |
0 |
|
0 |
bsd-2-clause |
Coq |
| An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework |
