Counter example generation

19 views
Skip to first unread message

iram....@seecs.edu.pk

unread,
Oct 14, 2018, 5:47:30 AM10/14/18
to PRISM model checker developers
Hi,

can some one guide me, how can we view the counter examples in our model using DTMC and explicit engine. Using simulator and manually find the trace is a tedious job when your model has million of states. This there a simple method to view them? Like a adversary path file or some thing similar. And how to generate it?

Thanks,

Reply all
Reply to author
Forward
0 new messages