Dealing with uncertainty in verification of nondeterministic systems


Uncertainty complicates the formal verification of nondeterministic systems. Unpredictable changes and alterations in their environments can lead an invalid verification results and the decrease of confidence degree of these systems. However, current literature provides little account of addressing the uncertainty in formal verification. To address this… (More)
DOI: 10.1145/2635868.2666598


1 Figure or Table

Slides referencing similar topics