Virual Oral Presentation Slide by Slide

IEEE/ICACT20220362 Slide.10        [Big Slide]       [YouTube]	Oral Presentation
	In our study, the verification framework specifies and verifies each property with TCTL [5]. The query language in TCTL consists of path formulae and state formulae. State formulae describe individual states, whereas path formulae quantify the paths or traces of a model. Path formulae can be classified for reachability, safety, and liveness. The formal framework that we propose verifies three properties in two different topologies. And simulation was also performed as shown in the Figure

[Go to Next Slide]

Select Voice: Virtual Oral Presentation!!