coreasm online with Winfy

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

Quick description about coreasm:

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

Audience: Information Technology, Science/Research, Telecommunications Industry.
User interface: Command-line, Eclipse.
Programming Language: Java.

.