https://github.com/verse-lab/bythos

Compositional Verification of Composite Byzantine Protocols
https://github.com/verse-lab/bythos

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

Last synced: 16 days ago
JSON representation

Compositional Verification of Composite Byzantine Protocols

• Host: GitHub
• URL: https://github.com/verse-lab/bythos
• Owner: verse-lab
• License: bsd-2-clause
• Created: 2024-08-24T09:23:53.000Z (5 months ago)
• Default Branch: main
• Last Pushed: 2024-08-24T15:36:16.000Z (5 months ago)
• Last Synced: 2024-11-16T03:29:46.920Z (3 months ago)
• Topics: byzantine-fault-tolerance, coq, distributed-protocols, distributed-systems, formal-verification
• Language: Coq
• Homepage:
• Size: 544 KB
• Stars: 11
• Watchers: 0
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project