syspect to run in windows online over linux online

We have hosted the application syspect to run in windows online over linux online in order to run this application in our online workstations with Wine or directly.

Quick description about syspect to run in windows online over linux online:

Syspect is a tool to specify a system using UML2 diagramms and translate them into a CSP-OZ-DC specification for formal verification.

Audience: Manufacturing.
User interface: Java SWT.
Programming Language: Java.

.