chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
AI summary
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
- stars
- 32
- forks
- 7
- watching
- 13
Similar projects
Found by comparing what the projects do, not just their names.
C verifier
A template project for verifying the correctness of C programs in Coq
coq/platform191
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Parametrization tool
A Coq plugin providing commands for generating parametricity statements used in data refinement proofs.
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Distributed system framework
A framework for implementing and verifying distributed systems using Coq
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Binding manipulation library
A Coq library for manipulating binding structures in syntax with binders.
Math library
A collection of mathematical theorems and tools within the Coq proof assistant
Coq container
Provides pre-configured Docker images for building and testing the Coq proof assistant
Package repository
A collaborative effort to maintain and promote Coq packages and tools.
Contract Verifier
A framework for verifying smart contracts in Coq, a proof assistant language.
