htmlInstall and Run GINsim

Debug Information

Page Kind: page

Page Type: doc

TOC Param:

Content Length: 1864

Install and Run GINsim

GINsim 3.0 is freely available without guarantees. Please contact us for training, other support or dedicated development. The GINsim website provides the latest official version of the software, documentation, as well as a model library.

GINsim 3.0 requires Java 8. You can obtain Java for Linux, Windows, Mac OSX, and Solaris at http://www.java.com. Note that Apple used to provide its own Java version, newer versions are not supported on OSX 10.6 and older.

Some features of GINsim rely on external tools, such as the NuSMV model checker.

Running GINsim

Once you have obtained GINsim, you can launch it by double-click or with the command java -jar GINsim.jar.

The following options are available for GINsim:

Furthermore, the JAVA virtual machine provides many options, in particular GINsim can benefit from extending the amount of memory available, with the -Xmx option. For example, one can launch GINsim with 1000MB of memory using java -Xmm1000M -jar GINsim.jar.