|
[VDM24]
Ivaylo Valkov, Alastair F. Donaldson and Alice Miller.
Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking.
In Proc. 30th International Symposium on Model Checking of Software (SPIN'24).
2024.
[Presents a symmetry reduction method targeting the PRISM modelling language and tool with support for synchronisation-based communication.]
|
|
Links:
[Google]
[Google Scholar]
|