Verifying the long-run behavior of probabilistic system models in the presence of uncertainty

ESEC/SIGSOFT FSE, pp. 587-597, 2018.

Cited by: 3|Bibtex|Views21
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|dl.acm.org

Abstract:

Verifying that a stochastic system is in a certain state when it has reached equilibrium has important applications. For instance, the probabilistic verification of the long-run behavior of a safety-critical system enables assessors to check whether it accepts a human abort-command at any time with a probability that is sufficiently high....More

Code:

Data:

Your rating :
0

 

Tags
Comments