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.

Project Samples

CoreASM Eclipse Plugin v. 0.4.0 Carma - Command-line CoreASM Engine Driver

Project Activity

See All Activity >

Categories

UML, Software Testing, Documentation, Interpreters, Design

License

Academic Free License (AFL)

Follow CoreASM

CoreASM Web Site

Other Useful Business Software
Get Avast Free Antivirus | Your top-rated shield against malware and online scams Icon
Get Avast Free Antivirus | Your top-rated shield against malware and online scams

Boost your PC's defense against cyberthreats and web-based scams.

Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
Rate This Project
Login To Rate This Project

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

Related Categories

Java UML Tool, Java Software Testing Tool, Java Documentation Software, Java Interpreters, Java Design Software

Registered

2006-02-24
Report inappropriate content