Model-based testing for smart contracts

At this rate of adoption, blockchain has the potential to revolutionize and reshape the way we live and work. Still, security is an utmost concern. Although researchers have developed tools to analyze the security vulnerability of smart contracts, its behavior remains an area less explored. ModCon i...

全面介紹

Saved in:
書目詳細資料
主要作者: Ng, Erica Xiang Qing
其他作者: Li Yi
格式: Final Year Project
語言:English
出版: Nanyang Technological University 2023
主題:
在線閱讀:https://hdl.handle.net/10356/165958
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!