Distributed Consensus Lab
Fault-tolerant coordination layer for critical services with formal safety arguments.
Distributed SystemsRustFormal Methods
- Modeled failure modes and recovery paths under partial synchrony.
- Documented safety invariants next to the implementation for review.