Abstract
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).
Original language | English |
---|---|
Title of host publication | 23rd International Conference on Advanced Communication Technology |
Subtitle of host publication | On-Line Security in Pandemic Era!, ICACT 2021 - Proceeding |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
Pages | 48-52 |
Number of pages | 5 |
ISBN (Electronic) | 9791188428069 |
DOIs | |
Publication status | Published - 2021 Feb 7 |
Event | 23rd International Conference on Advanced Communication Technology, ICACT 2021 - Virtual, PyeongChang, Korea, Republic of Duration: 2021 Feb 7 → 2021 Feb 10 |
Publication series
Name | International Conference on Advanced Communication Technology, ICACT |
---|---|
Volume | 2021-February |
ISSN (Print) | 1738-9445 |
Conference
Conference | 23rd International Conference on Advanced Communication Technology, ICACT 2021 |
---|---|
Country/Territory | Korea, Republic of |
City | Virtual, PyeongChang |
Period | 21/2/7 → 21/2/10 |
Bibliographical note
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).
Keywords
- Blockchain
- Formal Specification
- Formal Verification
- Model Checking
- Smart Contract
ASJC Scopus subject areas
- Electrical and Electronic Engineering