[Javapathfinder-user] JPF - increase memory? (statechart extension)

[<wo...@in...>]

Hello JPF-Team,

the JPF Statechart Extension is working well with a small example, but
with my huge statechart-model I'll get the message

  [SEVERE] JPF out of memory

. How can I increase the max memory? Do you have other ideas, how it will
work better?

I tried the VM-command -Xmx512M and "+search.depth_limit=8" but, as a
result, the same or less states were checked. The model is really huge
with about 1000 states and 6000 transitions.

Thank you very much in advance,

Elisabeth