Dear Rima,
the error message you are getting seems to be quite generic and it's
hard to identify what the precise cause is. Nevertheless, it might be
connected to the maximum allocated memory (there is a similar error
described at
http://www-01.ibm.com/support/docview.wss?uid=swg21208166),
and so you might want to increase the amount of memory, see
http://www.prismmodelchecker.org/manual/ConfiguringPRISM/OtherOptions
for instructions. If the problem persists, please try running your
experiments with the same input under a different operating system.
Windows XP's life cycle has ended some time ago, so it is possible
that the source of the error is not in PRISM itself.
Kind regards,
Vojtech
> --
> 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
prismmodelchec...@googlegroups.com.
> To post to this group, send email to
prismmod...@googlegroups.com.
> Visit this group at
http://groups.google.com/group/prismmodelchecker.
> For more options, visit
https://groups.google.com/d/optout.