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