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.

Project Samples

Carma - Command-line CoreASM Engine Driver

Project Activity

See All Activity >

License

Academic Free License (AFL)

Follow CoreASM

CoreASM Web Site

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

Similar Business Software

SystemC

Your online reference for everything related to SystemC, the language for system-level design, high-level synthesis, modeling and verification. SystemC™ addresses the need for a system design and verification language that spans hardware and software. It is a language built in standard C++ by...

See Software
Google Cloud Run

Cloud Run is a fully-managed compute platform that lets you run your code in a container directly on top of Google's scalable infrastructure. We’ve intentionally designed Cloud Run to make developers more productive - you get to focus on writing your code, using your favorite language, and Cloud...

See Software
monday.com

Simplify the way your team works with monday.com, a cloud-based project management platform that provides customizable no-code solutions for a wide range of use-cases such as marketing, sales, operations, IT, HR, and more. monday.com allows businesses of all sizes to work in an efficient...

See Software

Report inappropriate content