Probabilistic model checking of perturbed MDPs with applications to cloud computing

Yamilet R. Serrano Llerena, Guoxin Su, David S. Rosenblum

Abstract

Probabilistic model checking is a formal verification technique that has been applied successfully in a variety of domains, providing identification of system errors through quantitative verification of stochastic system models. One domain that can benefit from probabilistic model checking is cloud computing, which must provide highly reliable and secure computational and storage services to large numbers of mission-critical software systems.

BibTeX

@inproceedings{Llerena-al:FSE17,
  author    = {Yamilet R. Serrano Llerena and
               Guoxin Su and
               David S. Rosenblum},
  title     = {Probabilistic model checking of perturbed {MDPs} with applications to cloud computing},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {454--464},
  publisher = {{ACM}},
  year      = {2017},
}

Probabilistic model checking of perturbed MDPs with applications to cloud computing

Abstract

Related papers