Our great sponsors
-
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Raft has been manually verified which was the hurdle here that makes the result interesting:
https://github.com/uwplse/verdi-raft
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
- A Taste of Coq and Correct Code by Construction
- We Need Simpler Types (speculations on what can be improved in future type systems and on erasing the boundaries between types and values)
- Formally Verifying Rust's Opaque Types
- Interested in pursuing a PhD in Formal Methods
- A complete compiler and VM in 150 lines of code