community z tools online with Winfy

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

Quick description about community z tools:

Community Z Tools Project (CZT):
Tools for editing, typechecking and animating Z
specifications and related notations.
Includes a Java framework for building formal methods tools.

Audience: Developers, Education, Science/Research.

Programming Language: Java.

.