uppaal parmos

We have hosted the application uppaal parmos in order to run this application in our online workstations with Wine or directly.

Quick description about uppaal parmos:

UPPAAL PARMOS (UP) is a parameter sweep application built specifically for UPPAAL, with the ability to distribute parameter sweeps across multiple computing resources, such as large clusters or cloud computing resources. UP also provides the ability to direct the parameter sweep using multi-objective heuristic search algorithms to reach optimal or near optimal parameters faster.
UP is expandable through the use of plug-ins, with regards to both types of computing resources and search algorithms, and the ability to change storage type is partly implemented.

Audience: Education.
User interface: .NET/Mono, Project is a remote control application, Non-interactive (Daemon), Plugins.
Programming Language: C#.

.