|
[FCGA23]
Xinwei Fang, Radu Calinescu, Simos Gerasimou and Faisal Alhwikem.
Fast Parametric Model Checking With Applications to Software Performability Analysis.
IEEE Transactions on Software Engineering.
2023.
[Presents an efficient approach to parametric employing calls to probabilistic model checkers including PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|