Runtime error

[Rima]

Dear all,

When runing PRISM to check a model (runing experiment or even verirfy a property) the following message appear:

"Microsoft Visual C++ Runtime library 

Program: C:\windows\system32\javaw.exe

This application has requested the Runtime to terminate in an unusual way. Please contact the application's support team for more information"

Then PRISM shuts down upon clicking "Ok' dialog box.

I'm runngin PRISM on Win XP with SP3

Any idea to fixe the pbm please.

Thx in advence

[Vojtech Forejt]

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.