How PRISM verify CSL properties of an CTMC

15 views

Skip to first unread message

kiki Shao

unread,

Nov 22, 2022, 11:29:54 PM11/22/22

to PRISM model checker developers

Hello everyone, I have recently used the Monte Carlo simulation to verify some properties of CTMC (eg. P=?[G[0,t] s = s'] or P=?[ F=t s = s']). But I don't know how PRISM verifies the properties of a CTMC. If I want to figure out, which part of the source code or reference I should see?

Thanks!

kiki

Reply all

Reply to author

Forward

0 new messages