www.icact.org

Member Login

TACT Journal Homepage

Call for Paper

Committee

Find My Paper

Author Homepage

Statistics & History

Welcome Message

Paper Procedure

FAQ

Paper Archives

Outstanding Papers

Program & Proceedings

Presentation Platform

Hotel & Travel Info

Photo Gallery

Scheduler Login

Seminar

Archives Login

Sponsors

Virual Oral Question and Answer


IEEE/ICACT20210216 Question.4 Questioner: tsai.fuching@gmail.com 2021-02-09 오후 12:39:10	IEEE/ICACT20210216 Answer.4 Answer by Auhor wsub@korea.ac.kr 2021-02-09 오후 12:39:10
In order to test the proposed model, this paper simulate some trading scenarios and discuss the results. I am wondering that is there any other methods can verify the effectiveness of your model besides simulation? For example, is there any public online trading databases or historical trading data that are available for model verification?	Hello, Thank you for your question. In this paper, after the simulation, formal verification was performed using TCTL. Therefore, it was confirmed that the requirements of the Dutch auction presented at the beginning were satisfied. Simulation alone is not possible to prove that a model is suitable. So I verified it using TCTL and I think it is correct because it is based on math. And there are no public online trading databases or historical trading data. We are going to implement a smart contract based on a model that has been verified in a future study. Thanks.

Select Voice