Disel

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Alternatives To Disel
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Verdi559
4 months ago5bsd-2-clauseCoq
A framework for formally verifying distributed systems implementations in Coq
Verdi Raft175
4 months ago15bsd-2-clauseCoq
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Toychain103
4 years agon,ullbsd-2-clauseCoq
A minimalistic blockchain consensus implemented and verified in Coq
Disel92
a year agobsd-2-clauseCoq
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Chapar32
3 months ago4mitCoq
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Aneris27
2 months ago6mitCoq
Program logic for developing and verifying distributed systems
Verdi Lockserv9
6 years agobsd-2-clauseCoq
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
Alternatives To Disel
Select To Compare


Alternative Project Comparisons
Popular Coq Projects
Popular Distributed Systems Projects
Popular Mathematics Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Distributed Systems
Coq