verifyta

The verifier functionality is accessible through verifyta command line utility in bin directory of the UPPAAL distribution.

The supported options are displayed when running verifyta -h or verifyta --help.