ucomv online with Winfy

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

Quick description about ucomv:

This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.

Audience: Science/Research, Advanced End Users.
User interface: Java Swing.
Programming Language: Java.

.