Software Performability Analysis Using Fast Parametric Model Checking

Xinwei Fang, Radu Calinescu, Simos Gerasimou +1

We present an efficient parametric model checking (PMC) technique for the analysis of software performability, i.e., of the performance and dependability properties of software sys…