TY - GEN
T1 - Dealing with uncertainty in verification of nondeterministic systems
AU - Llerena, Yamilet R.Serrano
N1 - Publisher Copyright:
© Copyright is held by the author/owner(s). Publication rights licensed to ACM.
PY - 2014/11/16
Y1 - 2014/11/16
N2 - 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 problem, the goal of this research is to provide a method based on perturbation analysis for probabilistic model checking of nondeterministic systems which are modelled as Markov Decision Processes. And to apply our expected contributions to ubiquitous systems due to inherent presence of environment uncertainty and their resource limitations.
AB - 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 problem, the goal of this research is to provide a method based on perturbation analysis for probabilistic model checking of nondeterministic systems which are modelled as Markov Decision Processes. And to apply our expected contributions to ubiquitous systems due to inherent presence of environment uncertainty and their resource limitations.
KW - Markov Decision Processes
KW - Perturbation analysis
KW - Probabilistic model checking
KW - Uncertainty
UR - http://www.scopus.com/inward/record.url?scp=84986903196&partnerID=8YFLogxK
U2 - 10.1145/2635868.2666598
DO - 10.1145/2635868.2666598
M3 - Conference contribution
AN - SCOPUS:84986903196
T3 - Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
SP - 787
EP - 790
BT - 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings
PB - Association for Computing Machinery
T2 - 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014
Y2 - 16 November 2014 through 21 November 2014
ER -