Automatic construction and verification algorithm for smart contracts based on formal verification

Automatic construction and verification algorithm for smart contracts based on formal verification

As an emerging technology, blockchain demonstrates strong potential for applications in digital finance. As a core component of blockchain, the security and reliability of smart contracts is crucial. To ensure the high reliability of smart contracts, this study employs formal construction and verifi...

Full description

Bibliographic Details
Main Authors: Rui Xie, Xuejiao Zhong, Xin Chen, Shaohui Xu, Haiyang Yu, Xinyuan Guo
Format: Article
Language:English
Published: AIP Publishing LLC 2024-11-01
Series:AIP Advances
Online Access:http://dx.doi.org/10.1063/5.0238456

Internet

http://dx.doi.org/10.1063/5.0238456

Similar Items