Main Page
From 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.
Development Files
The current under-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 its Carma interface) by running the ant build file under '/engine-carma/trunkbuild/Carma' folder and you can obtain a JAR file of the CoreASM engine as a library by running the ant build file under '/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.1, release date: to be announced
Questions and Answers
Looking for the original wiki? It's moved to oldwiki.coreasm.org.
