|
[FCGA21]
Xinwei Fang, Radu Calinescu, Simos Gerasimou and Faisal Alhwikem.
Fast Parametric Model Checking through Model Fragmentation.
In Proc. International Conference on Software Engineering (ICSE'21).
2021.
[Presents an efficient approach to parametric employing calls to probabilistic model checkers including PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|