Verification of properties is taking too much time

[rishi mathur]

Hi all,

I am working on a mdp model with 3 modules in PRISM. But the process of verification of properties doesn't terminate. I have tried to reduce the size of the model as much as possible. What can be the possible reasons for such behavior?  What improvements can I do ?

Regards,

Rishi

[Christopher Ziegler]

Hello Rishi,

possible reasons for such behaviour can be that the verification takes extremely long or that it gets stuck in an infinite loop. Maybe you can get some information from the log. If this doesn't help, you can post your models with properties such that I try to reproduce this behaviour (and fix it if necessary).

Best Regards,

Christopher

--
You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchecker+unsubscribe@googlegroups.com.
To post to this group, send email to prismmodelchecker@googlegroups.com.
Visit this group at https://groups.google.com/group/prismmodelchecker.
For more options, visit https://groups.google.com/d/optout.