You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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?