UPPAAL

UPPAAL can be executed from the command line using the following command on unix:

uppaal [OPTION] … [FILENAME]

On windows, the following command can be used (for instance, using “Run” from the Start Menu):

java -jar \path\uppaal.jar [OPTION] … [FILENAME]

where path is the complete path to the uppaal.jar file (it might also be necessary to specify the complete path to the java executable).

The optional filename refers to a model to be loaded at startup.

The available command line options are:

--antialias on|off
(default on) turns antialiasing on or off in the automata rendering.
--engineName
The name of verification server (default is server on Unix and server.exe on Windows) to be used by the GUI.
--enginePath
The path to the verification server (e.g. bin-Windows) to be used by the GUI.
--help
Displays a summary of options.
--serverHost
Host name of remote machine running verification server.
--serverPort
Port number used by verification server on remote machine.
--splashScreen on|off
Disables or enables the splash screen. Note that starting from Java 6 the only way to override or disable the splash screen is -splash java option, e.g. java -splash:/dev/null -jar uppaal.jar.
--export templateName filename.ext
Export the named template to a graphics file. The graphics format is determined by the filename extension, and EPS will be used instead if format is not recognized. Use system keyword to export all templates where the filenames will be taken from the template name.
--psColors on|off
Selects whether to export automata in color or greyscale EPS.