Counter example generation

[iram....@seecs.edu.pk]

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,