{"product_id":"kang-li-security-analysis-and-formal-verification-on-blockchain-and-its-applications-9781638285687","title":"Security Analysis and Formal Verification on Blockchain and its Applications","description":"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.","brand":"Now Publishers Inc","offers":[{"title":"Default Title","offer_id":53698433712470,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9781638285687_1.jpg?v=1778863598","url":"https:\/\/www.momoxbooks.com\/products\/kang-li-security-analysis-and-formal-verification-on-blockchain-and-its-applications-9781638285687","provider":"momoxbooks","version":"1.0","type":"link"}