Skip to main content.

Command Line Options

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 <filename>
The name of verification server (default is server on Unix and server.exe on Windows) to be used by the GUI.
--enginePath <path>
The path to the verification server (e.g. bin-Win32) to be used by the GUI.
--help
Displays a summary of options.
--serverHost <name>
Host name of remote machine running verification server.
--serverPort <no>
Port number used by verification server on remote machine.
--splashScreen on|off
Disables or enables the splash screen.
--exportToEPS templateName
Export the named template to EPS.
--psColors on|off
Selects whether to export automata in color or greyscale EPS.