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:
主要作者: | |
---|---|
其他作者: | |
格式: | Final Year Project |
語言: | English |
出版: |
Nanyang Technological University
2023
|
主題: | |
在線閱讀: | https://hdl.handle.net/10356/165958 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|