CoreASM

beta
Add a Review
2 Downloads (This Week)
Last Update:
Download CoreASM-Engine-1.0.3.jar
Browse All Files
Windows Mac Linux

Screenshots

Description

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.

CoreASM Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of CoreASM!

Additional Project Details

Intended Audience

Information Technology, Science/Research, Telecommunications Industry

User Interface

Command-line, Eclipse

Programming Language

Java

Registered

2006-02-24
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.