Search Results - "2012 ACM Subject Classification Computing methodologies → Distributed algorithms"

Holistic Verification of Blockchain Consensus

Authors: Bertrand, Nathalie Gramoli, Vincent Konnov, Igor et al.

Contributors: Bertrand, Nathalie Gramoli, Vincent Konnov, Igor et al.

Source: DISC 2022 - 36th International Symposium on Distributed Computing ; https://inria.hal.science/hal-03819724 ; DISC 2022 - 36th International Symposium on Distributed Computing, Oct 2022, Augusta, United States. pp.1-24, ⟨10.4230/LIPIcs.DISC.2022.10⟩

Subject Terms: 2012 ACM Subject Classification Computing methodologies → Distributed algorithms, Theory of computation → Logic and verification phrases Model checking, automata, logic, byzantine failure, [INFO]Computer Science [cs]

Subject Geographic: Augusta, United States

Availability: https://inria.hal.science/hal-03819724
https://inria.hal.science/hal-03819724v1/document
https://inria.hal.science/hal-03819724v1/file/BGKLTW-disc22.pdf
https://doi.org/10.4230/LIPIcs.DISC.2022.10