The CoreASM Project

CoreASM
An extensible ASM execution engine

Home People Download Documentation Development Related Projects Contact us

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.

We concentrate on control-intensive software systems, especially, distributed and embedded systems and related system design languages; we also consider sequential languages and synchronous systems, and, to some extent, hardware related aspects.

What's New?

CoreASM Eclipse Plugin
The latest development version of the CoreASM Eclipse Plugin is now available (tested on Eclipse 3.5) through an update site. See http://www.coreasm.org/download.php#eclipse-trunk for details.

Posted on Fri, 23 Apr 2010 09:00:15 GMT
CoreASM Documentation Page
The documentation and publications on the CoreASM website is updated and the links are moved into a separate documentation page: http://www.coreasm.org/documentation.php

Posted on Fri, 30 Oct 2009 20:09:28 GMT
CoreASM Design Documenation
Please find the first public draft of "Design and Specification of the CoreASM Execution Engine and Plugins" at http://coreasm.svn.sourceforge.net/viewvc/coreasm/engine-carma/trunk/doc/CoreASM-DesignDocumentation.pdf

Posted on Mon, 19 Oct 2009 01:26:24 GMT

Get The News!

Register to CoreASM News mailing list to get updates on new releases and new plug-ins.