|
[KMK+23]
Max Korn, Julian Mendez, Sascha Kluppelholz, Ricardo Langner, Christel Baier and Raimund Dachselt.
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.
In Proc. 21st International Conference on Software Engineering and Formal Methods (SEFM'23).
2023.
[Presents a tool for interactive visualisation of models explored via probabilistic model checking, with PRISM as a backend.]
|
|
Links:
[Google]
[Google Scholar]
|