- UPPAAL Help
Setting up a Remote Server
To start a remote server, use the
(included for Linux, SunOS and MacOS).
To use a remote server, see the section on
command line options for the GUI.
The socketserver can be executed from the command line using one of the following commands:
socketserver [-p<P1>] [-s<P2>]
The available command line options are:
- Prints a brief description of the command line options.
- Set port in server mode (default is 2350).
- Set filename of server binary to P2.
The socketserver will load the server from the directory where it was invoked, and act as a proxy.