Virual Oral Presentation Slide by Slide

IEEE/ICACT20260385 Slide.13        [Big Slide]	Oral Presentation
	We did empirical testing to confirm if IKOS actually satisfies these critical properties in practice. To do this, we utilized test cases from the GSAC repository, which has a specialized collection designed to evaluate static analysis sensitivities. Our testing confirms that IKOS successfully satisfies all four requirements: Flow, Field, Context, and Path sensitivity.

[Go to Next Slide]

Select Voice: Virtual Oral Presentation!!