Virual Oral Presentation Slide by Slide

IEEE/ICACT20210216 Slide.16        [Big Slide]	Oral Presentation
	Smart contracts are finance critical systems. Therefore, it is very important to detect errors and inconsistencies before deploy. These characteristics can be guaranteed through formal method. Therefore, we modeled and verified that the model satisfies the functional requirements properties of smart contract through formal modeling, one of the formal method. In future research, we plan to implement these models using ¡®Solidity¡¯ language and check whether the implemented smart contract satisfies the functional requirements.

[Go to Next Slide]

Select Voice: Virtual Oral Presentation!!