Suchergebnisse - "Theory of computation → Logic and verification phrases Model checking"

Holistic Verification of Blockchain Consensus

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

Weitere Verfasser: Bertrand, Nathalie Gramoli, Vincent Konnov, Igor et al.

Quelle: 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⟩

Schlagwörter: 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]

Geographisches Schlagwort: Augusta, United States

Verfügbarkeit: 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