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:
Main Author: | Ng, Erica Xiang Qing |
---|---|
Other Authors: | Li Yi |
Format: | Final Year Project |
Language: | English |
Published: |
Nanyang Technological University
2023
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/165958 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
Similar Items
-
Smart contract development and blockchain technology application (3)
by: Goh, Bryan Hong Xiang
Published: (2023) -
Legally enforceable smart contract wills
by: Chua, Kelvin Chong Hung
Published: (2023) -
Analysis of smart contract development platforms
by: Huang, Shaohang
Published: (2022) -
Smart contract development and blockchain technology application
by: Hoe, Eugene Liam Yew
Published: (2022) -
LATTE : visual formulation of smart contracts on blockchains
by: Tan, Sean Jun Yu
Published: (2019)