hexresearch / hexresearch/hschain
Create model for gossip for machine checking
Open
gossip
verification
- Dominant language
- C
- Stars
- 4
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
We had a lot of bug in gossip which resulted in loss of liveness. We found less of them over time but there's no reason to think that we've found them all. I think that only way to be somewhat sure that gossip actually works is to build model for machine checking. TLA+ seems to be promising candidate
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.