Command Line and APIs

Graphical User Interface

UPPAAL graphical interface can be started from the command line by using the following command:

uppaal [OPTION] ... [FILENAME]

where uppaal is a shell script (for Unix) and uppaal.exe is a launcher for Windows.

Alternatively 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-Windows) 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. 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 are created from the template names.

--psColors on|off

Selects whether to export automata in color or greyscale EPS.

Command Line Utility

The verifier functionality is accessible through verifyta command line utility in bin-Windows or bin-Linux directory of the distribution. The supported options are displayed when running verifyta -h.

Java API

UPPAAL models can be created, loaded, saved, simulated and checked using libs/model.jar library. A demonstrating example is included in the demo/ModelDemo.java file.

Model File Formats

The supported model file formats are documented in libutap library, which is distributed separately. Please check the Documentation section of UPPAAL web site for further information.

LaTeX Typesetting

UPPAAL web site includes links to uppaal.sty file — style for typesetting documents in LaTeX.