Verification of properties is taking too much time

[maro...@gmail.com]

Hi all,

I am working on a CTMC 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,

Maroua