Brief Announcement: Holistic Verification of Blockchain Consensus (Q6202197)

From MaRDI portal
Revision as of 07:16, 10 July 2024 by Import240710060729 (talk | contribs) (Added link to MaRDI item.)
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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    26 March 2024
    0 references
    Byzantine failures
    0 references
    model checking
    0 references

    Identifiers