Now 697 visitors
Today:3 Yesterday:409
Total: 3218 413S 88P 97R
2026-04-07, Week 15
Member Login
Welcome Message
Statistics & History
Committee
TACT Journal Homepage
Call for Paper
Paper Submission
Find My Paper
Author Homepage
Paper Procedure
FAQ
Registration & Invoice
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/ICACT20220362 Question.4
Questioner: tomayoon@ieee.org    2022-02-16 ¿ÀÈÄ 2:43:59 		IEEE/ICACT20220362 Answer.4
Answer by Auhor dasuni@korea.ac.kr   2022-02-16 ¿ÀÈÄ 2:43:59
First of all, thank you for the good research paper and presentation contents. I would like to know more about the research environment used in this study, and also in detail about the equipment & operating systems, development languages and software libraries you used. Thank you very much for your questions. UPPAAL 4.1.24 was used to implement the Verification Framework and time computation tree logic (TCTL) was used for Verification Properties to verify the properties such as readability, safety, and liveness.

Select Voice