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:
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.
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.
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.
UPPAAL web site includes links to uppaal.sty file — style for typesetting documents in LaTeX.