AlphaUncommon
uwplse/verdi
A framework for formally verifying distributed systems implementations in Coq
- Owner
- uwplse (organization)
- Stars
- Stars: 627
- Forks
- Forks: 58
- Language
- Rocq Prover
- License
- BSD-2-Clause
- Created
- 2014
- Topics
- verdicoqcoq-libraryproofdistributed-systems
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by uwplse
All 5 repos by uwplse- uwplse/verdi-raftStars: 204CoqPrototype
- uwplse/rulerStars: 158RustPrototype
- uwplse/tensatStars: 145RustPrototype
- uwplse/CassiusStars: 102RacketPrototype
Nearby in Rocq Prover
All Rocq Prover repos- jwiegley/category-theoryStars: 819Rocq ProverBeta
- achlipala/frapStars: 737Rocq ProverBeta
- math-comp/math-compStars: 709Rocq ProverBeta
- MetaRocq/metarocqStars: 568Rocq ProverAlpha
- PrincetonUniversity/VSTStars: 516Rocq ProverAlpha
- rocq-prover/vsrocqStars: 464Rocq ProverAlpha