Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
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. The stochastic system is represented as probabilistic model, a long-run property is asserted and a probabilistic verifier checks the model against the property.
BibTeX
@inproceedings{Llerena-al:FSE18,
author = {Yamilet R. Serrano Llerena and
Marcel B{\"{o}}hme and
Marc Br{\"{u}}nink and
Guoxin Su and
David S. Rosenblum},
title = {Verifying the long-run behavior of probabilistic system models in the presence of uncertainty},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {587--597},
publisher = {{ACM}},
year = {2018},
}