Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version.
Harold CarrChristopher JenkinsMark MoirVictor Cacciari MiraldoLisandra SilvaPublished in: CoRR (2022)
Keyphrases
- fault tolerant
- formal verification
- fault tolerance
- model checking
- distributed systems
- model checker
- automated verification
- bounded model checking
- load balancing
- symbolic model checking
- state machine
- artificial intelligence
- high availability
- safety critical
- program slicing
- temporal logic
- parallel algorithm
- expert systems