#

byzantine-fault-tolerance

Here is 1 public repository matching this topic...

verse-lab / bythos

Compositional Verification of Composite Byzantine Protocols

distributed-systems coq formal-verification byzantine-fault-tolerance distributed-protocols

Updated Aug 24, 2024
Coq

Improve this page

Add a description, image, and links to the byzantine-fault-tolerance topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the byzantine-fault-tolerance topic, visit your repo's landing page and select "manage topics."