Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
Kangfeng Ye, Fang Yan, Simos Gerasimou
Probabilistic model checking is a widely used formal verification technique to automatically verify qualitative and quantitative properties for probabilistic models. However, captu…
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…