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...
Saved in:
| Main Authors: | , , , , , |
|---|---|
| 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!
|