Virual Oral Presentation Slide by Slide

IEEE/ICACT20220362 Slide.14        [Big Slide]       [YouTube]	Oral Presentation
	Safety properties are based on the concept that ˇ°something bad will never happen.ˇ± In UPPAAL, this is formulated positively, for example, something good is invariantly true. The packets should not always be dropped. Figure shows the verification results for ˇ°Property is satisfied.ˇ± On the other words, a packet P on a path should not be in the each drop locations of switches 1 and 2.

[Go to Next Slide]

Select Voice: Virtual Oral Presentation!!