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

Saved in:
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
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items