TY - GEN
T1 - Formal Modeling of Smart Contract-based Trading System
AU - Park, Woong Sub
AU - Lee, Hyuk
AU - Choi, Jin Young
N1 - Funding Information:
This work was supported by the National Research Foundation of Korea(NRF) grant funded by the Korea government(MSIT) (No. NRF-2018R1A2B6009122).
Publisher Copyright:
© 2021 Global IT Research Institute (GiRI).
PY - 2021/2/7
Y1 - 2021/2/7
N2 - With the development of blockchain technology, the fields of use of smart contracts are diversifying. Blockchain-based smart contracts are suitable in areas where integrity and transparency must be guaranteed with distributed ledger technology as the core. However, once the system is deployed, it cannot be modified, so it is important to ensure that the system works with the requirements and principles of the smart contract at the design stage. Therefore, in this paper, we aim to show that the system is accurate without contradictions/errors through formal verification using UPPAAL, a formal verification tool for the public descending auction system (Dutch Auction).
AB - With the development of blockchain technology, the fields of use of smart contracts are diversifying. Blockchain-based smart contracts are suitable in areas where integrity and transparency must be guaranteed with distributed ledger technology as the core. However, once the system is deployed, it cannot be modified, so it is important to ensure that the system works with the requirements and principles of the smart contract at the design stage. Therefore, in this paper, we aim to show that the system is accurate without contradictions/errors through formal verification using UPPAAL, a formal verification tool for the public descending auction system (Dutch Auction).
KW - Blockchain
KW - Formal Specification
KW - Formal Verification
KW - Model Checking
KW - Smart Contract
UR - http://www.scopus.com/inward/record.url?scp=85102860497&partnerID=8YFLogxK
U2 - 10.23919/ICACT51234.2021.9370462
DO - 10.23919/ICACT51234.2021.9370462
M3 - Conference contribution
AN - SCOPUS:85102860497
T3 - International Conference on Advanced Communication Technology, ICACT
SP - 48
EP - 52
BT - 23rd International Conference on Advanced Communication Technology
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 23rd International Conference on Advanced Communication Technology, ICACT 2021
Y2 - 7 February 2021 through 10 February 2021
ER -