Dealing with uncertainty in verification of nondeterministic systems

Abstract

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

Topics

1 Figure or Table

Slides referencing similar topics