Prism run-time Error

16 views

Skip to first unread message

unread,

Feb 3, 2017, 9:55:52 AM2/3/17

to PRISM model checker

Dear All,

I model-checked an algorithm using Prism. With process numbers greater than 5, I got this error.

Please, check the above printscr and let me know if you can help me.

Thank you in advance.

Mehran

unread,

Feb 3, 2017, 10:41:40 AM2/3/17

to PRISM model checker

The problem is solved!

It was about state space explosion and I could obviate the error using MTBDD engine.

Reply all

Reply to author

Forward

0 new messages