most citedFast Parametric Model Checking through Model Fragmentation

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2022

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…