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...
Sábháilte in:
| Príomhchruthaitheoirí: | , , , , |
|---|---|
| Formáid: | Artigo |
| Teanga: | Inglês |
| Foilsithe / Cruthaithe: |
POSTS&TELECOM PRESS Co., LTD
2022-08-01
|
| Sraith: | 网络与信息安全学报 |
| Ábhair: | |
| Rochtain ar líne: | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2022041 |
| Clibeanna: |
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|