UPPAAL(1)

NAME
uppaal - An integrated tool environment for modelling, validation and verification of real-time systems

SYNOPSIS
uppaal [ -option value ] ... [ URL ]

DESCRIPTION
UPPAAL is an integrated tool environment for modelling, validation and verification of real-time systems modelled as networks of timed automata, extended with data types (bounded integers, arrays etc.)

OPTIONS

--antialias on|off
    Turn anti-aliasing on/off.

--engineName name
    Set the name of the engine binary.

--enginePath path
    Set the path to the engine binaries.

--serverPort number
    Set the server port number.

--serverHost name
    Set the server host name.

--native on|off
    If on, try to execute and establish a direct connection to the engine.

--server on|off
    If on, try to connect to a running engine using TCP/IP.

--psColors on|off
    PostScript colours on/off.

THANKS
Thanks to John A. Murdie for contributing a draft of this man-page.

SEE ALSO
UPPAAL home page at http://www.uppaal.com