Can i find the label on the transitions?

25 views

Skip to first unread message

unread,

Apr 11, 2018, 3:05:41 PM4/11/18

to PRISM model checker

If i have state space like the picture.

Each state is tuple (a,b,c,d)

When i find the counterexample, i want to know the label on the transition.

(Ex: For the left path, a=1 b=1 c=0 can cause the cex)

Can Prism do it?

How can i find it in the source code

Reply all

Reply to author

Forward

0 new messages