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

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

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

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
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software
Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
Liquid Studio

Liquid Studio provides an advanced toolkit for XML and JSON development along with Web Service Testing and Data Mapping and Data Transformation tools. The Development Environment contains a complete set of tools for designing XML and JSON data structures and schemas. These tools provide editing,...

See Software
Boozang

Build. Test. Automate. Empower your whole team to build and maintain automated tests, not just developers. Meet your testing demands fast. Get full test coverage in days, not months. Our natural-language tests are extremely stable to code changes. When tests break our AI will repair it in...

See Software