Main Page
From coreasm
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 (where appropriate) of abstract system models.
License
The CoreASM project is an Open Source project licensed under the Academic Free License version 3.0.
Development Files
The current development version of the engine is available on the CoreASM subversion repository under /engine-carma/trunk. For more information, visit our Repository page.
You can always build the engine (with Carma, its command-line interface) by running the ant build file in '/engine-carma/trunkbuild/Carma'. For plugin development, you can also compile a JAR file of the CoreASM engine as a library by running the ant build file in '/engine-carma/trunkbuild/Engine'. In addition, every time we make a reasonably stable build of the engine, we keep a copy under /engine-carma/trunk-builds.
Release Pages
- Next Release: CoreASM-v1.5, release date: to be announced
- Current development branch: CoreASM-trunk
Get The News!
Visit the CoreASM News page on sourceforge. Also, register to CoreASM News mailing list to get updates on new releases and new plug-ins.
Additional Plugins
Questions and Answers
Looking for the original wiki? It's moved to oldwiki.coreasm.org.
