IEEE/ICACT20260382 Slide.06        [Big Slide]       Oral Presentation
It¡¯s an analysis technique that uses symbolic variables instead of fixed, concrete values.

[Go to Next Slide]
Select Voice: