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\uppaal2k.jar [OPTION] ... [FILENAME]

where path is the complete path to the uppaal2k.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

(normally on) turns on or off antialiasing in the graphical drawings of automata.

--engineName <filename>

name of verification server (normally server(.exe)) to be used by the GUI.

--enginePath <path>

path to verification server (e.g. bin-Win32) to be used by the GUI.

--help

displays a help message.

--serverHost <name>

host name of remote machine running verification server.

--serverPort <no>

port number used by verification server on remote machine.

--psColors on|off

instruct UPPAAL to produce color (when on) or grayscale (when off) Postscripts automata.