PV3 PRISM-gameschecks user-specified properties for stochastic multi-player games models

Probabilistic model checker for stochastic multi-player games

Application domain/field

Type of tool

Model checker

Expected input

Format:

Own format which is an extension of the PRISM format.

Internals

Extension of PRISM. PRISM-games supports several stochastic multi-player game models, including:
Model checking Probabilistic

Links

Last commit date

22 July 2021

Related papers

https://doi.org/10.1007/978-3-030-53291-8_25

Last publication date

14 July 2020

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.