How PRISM verify CSL properties of an CTMC

已查看 15 次
跳至第一个未读帖子

kiki Shao

未读，
2022年11月22日 23:29:542022/11/22
收件人 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

回复全部
回复作者
转发
0 个新帖子