Brief Announcement: Holistic Verification of Blockchain Consensus (Q6202197)
From MaRDI portal
scientific article; zbMATH DE number 7824294
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Brief Announcement: Holistic Verification of Blockchain Consensus |
scientific article; zbMATH DE number 7824294 |
Statements
Brief Announcement: Holistic Verification of Blockchain Consensus (English)
0 references
26 March 2024
0 references
Byzantine failures
0 references
model checking
0 references
