Awesome Open Source

Programming Languages

Search results for distributed systems coq

distributed-systems x

7 search results found

A framework for formally verifying distributed systems implementations in Coq

Verdi Raft ⭐ 175

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Toychain ⭐ 103

A minimalistic blockchain consensus implemented and verified in Coq

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

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

Program logic for developing and verifying distributed systems

Verdi Lockserv ⭐ 9

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

Related Searches

Ocaml Coq (164)

Distributed Systems Raft (117)

Distributed Systems Consensus (92)

Blockchain Distributed Systems (77)

Haskell Coq (63)

Definition Coq (53)

Calculus Coq (50)

Coq Mathcomp (38)

1-7 of 7 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.