Virual Oral Presentation Slide by Slide

IEEE/ICACT20210216 Slide.12        [Big Slide]	Oral Presentation
	The above model is a model of a Contract of a smart contract-based Dutch auction system using the UPPAAL modeling tool. When the beneficiary(seller) deploys the contract in the 'inactive' state(initial state), the contract transitions into the 'active' state. And the deduction amount is reduced from the initial proposed price in the deduction time interval set by the beneficiary(seller). In the 'active' state, the contract transitions into an inactive state if the beneficiary(seller) has set an incorrect input value or the auction ends correctly.

[Go to Next Slide]

Select Voice: Virtual Oral Presentation!!