Memory Management

Overture and the VDM models run on Overture tool are memory intensive. Hence, you as a user might need to tune the Java Virtual Machine (JVM) settings for effective user of Overture tool. This Eclipse help for proper way to define JVM settings for launching Overture application from inside Eclipse project. In case you are using the Overture executable directly, please modify Overture.ini file.