A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors
Abstract elided by the publisher.
Related papers
- Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems CAV 2016
- Formal Verification of the Ethereum 2.0 Beacon Chain TACAS 2022
- Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq ESOP 2018
- Programming at the edge of synchrony OOPSLA 2020
- Fault-tolerant typed assembly language PLDI 2007
- OsirisBFT: Say No to Task Replication for Scalable Byzantine Fault Tolerant Analytics PPoPP 2024
- Randomized Testing of Byzantine Fault Tolerant Algorithms OOPSLA 2023
- AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects OOPSLA 2024