State-of-the-art survey of smart contract verification based on formal methods
Smart contract represents an essential application scenario of blockchain technology.Smart contract technology improves programmability and scalability of blockchain, and has broad development prospects.However, a series of security incidents caused a great number of economic losses and weakened use...
I tiakina i:
| Ngā kaituhi matua: | , , , , |
|---|---|
| Hōputu: | Artigo |
| Reo: | Inglês |
| I whakaputaina: |
POSTS&TELECOM PRESS Co., LTD
2022-08-01
|
| Rangatū: | 网络与信息安全学报 |
| Ngā marau: | |
| Urunga tuihono: | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2022041 |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|