Test for times in PRISME

15 views

Skip to first unread message

unread,

Oct 18, 2016, 9:18:20 AM10/18/16

to PRISM model checker

How to test for timing in PRISME ,

i would like something like ( When the time reached to 5sec then S=0)

thank you

Reply all

Reply to author

Forward

0 new messages