Statistical model checking

moves-rwth / stormpy

Python Bindings for the Probabilistic Model Checker Storm

https://moves-rwth.github.io/stormpy/

GNU General Public License v3.0

29 stars 16 forks source link

Statistical model checking #34

Closed huypn12 closed 2 years ago

huypn12 commented 3 years ago

It is very nice that Stormpy support discrete event simulation as I have seen in the simulator example with mdp and dtmc. However, I would like to ask if Stormpy also support some steps of statistical model checking, for example verifying if a simulated trace in a dtmc model satisfies a pctl property of interest. Thank you Stormpy team.

sjunges commented 3 years ago

Hi,

sorry for the slow response. We do not support statistical model checking.

Sebastian