Probabilistic model checking of perturbed MDPs with applications to cloud computing

ESEC/SIGSOFT FSE, pp. 454-464, 2017.

Cited by: 6|Bibtex|Views21|DOI:https://doi.org/10.1145/3106237.3106301
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

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 rel...More

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments