disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
AI summary
Distributed system framework
A framework for implementing and verifying distributed systems using Coq
- stars
- 95
- forks
- 7
- watching
- 13
Similar projects
Found by comparing what the projects do, not just their names.
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
uwplse/verdi595
Distributed system verifier
A framework for formally verifying distributed systems implementations in Coq.
Distributed data structures
An implementation of various distributed data structures in Coq, including lattices and Convergent Replicated Data Types.
Distributed Consensus Protocol
An implementation of the Raft distributed consensus protocol verified in Coq
cryptographic proof framework
A foundational framework for modular cryptographic proofs in Coq
System verification framework
A framework for developing and verifying distributed systems using separation logic
Logical Deduction Library
Formalizations of logical deduction systems using Coq
Modal logic proofs
Machine-checked proofs of soundness, completeness, and decidability for modal logics in Coq.
Verification framework
A verification system for reasoning about sequential heap-manipulating programs using separation logic and dependent types
Monoid library
A formalisation of Partial Commutative Monoids (PCMs) for verification of concurrent programs.
Syntax framework
A framework for abstract syntactical reasoning in Coq.
Distributed deep learning framework
A collaborative deep learning framework that enables private and efficient model updates in distributed settings
Consensus protocol
A minimalistic blockchain-based consensus protocol implemented in Coq
Formal language system
An implementation of System F in Coq, aiming to provide a rigorous and expressive formal system for describing programming languages.
Distributed framework
A distributed computing framework for building fault-tolerant and redundant applications
