Andere Kunden interessierten sich auch für
![Formal Methods for Autonomous Systems]( "Formal Methods for Autonomous Systems")
Formal Methods for Autonomous Systems85,99 €![Trustworthy Machine Learning]( "Trustworthy Machine Learning")
Trustworthy Machine Learning84,99 €![Recommender Systems Meet Large Language Model Agents]( "Recommender Systems Meet Large Language Model Agents")
Recommender Systems Meet Large Language Model Agents84,99 €![Ethical Hacking for All]( "Ethical Hacking for All")
Ethical Hacking for All16,99 €![XL Large Print Password Tracker (Autumnal Warm Tone Tulips)]( "XL Large Print Password Tracker (Autumnal Warm Tone Tulips)")
XL Large Print Password Tracker (Autumnal Warm Tone Tulips)15,99 €![XL Large Print Password Tracker (Pink Tulips)]( "XL Large Print Password Tracker (Pink Tulips)")
XL Large Print Password Tracker (Pink Tulips)15,99 €![SpamAssassin]( "SpamAssassin")
SpamAssassin43,99 €
This work reviews previous attempts at verifying two fundamental properties of blockchains: correctness and security. It categorizes the correctness and security flaws encountered by real-world blockchains. Then, it systematizes formal verification to address the flaws in blockchains, covering aspects of models, specifications, and techniques.