hi all, I am newbie

[Tùng La]

It is the first time I study probabilistic model checking. I found many documents bout it. But I don't know how to use Prism model checker. Please help me use this tool fastly: the guides of this tool. 

Thank you very much!

[Joachim Klein]

Hi,

> It is the first time I study probabilistic model checking. I found many
> documents bout it. But I don't know how to use Prism model checker.
> Please help me use this tool fastly: the guides of this tool.

I've found the tutorial on the PRISM website

http://www.prismmodelchecker.org/tutorial/

to be very helpful in providing a good hands-on introduction, and the
linked lectures have good overview on the theory.


Cheers,
Joachim