Statistical model checking error

[13mscs...@seecs.edu.pk]

Hi,

while verifying a property  P=?[ F H4 = 0] by SMC , I got the following error:

"One or more of the properties being sampled could not be checked on a
sample. Consider increasing the maximum path length."

Kindly guide me what should I do to avoid this error

Regards

[Joachim Klein]

Have a look at the "Maximum Path Length" section of

http://www.prismmodelchecker.org/manual/RunningPRISM/StatisticalModelChecking

That should help you. The corresponding parameter for the command-line
is -simpathlen.


Cheers,
Joachim