SourceForge.net Logo

CoreASM
An extensible ASM execution engine
 

CoreASM at SourceForge.net

ASM Research Center

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?  RSS Feed Available

  • New Update Site for CoreASM Eclipse Plugin

    Installing CoreASM Eclipse Plugin just got easier! Follow the these steps to add CoreASM update site to your eclipse environment:

    0) Uninstall and remove any previously installed CoreASM Eclipse plugin.

    1) In Eclipse, choose the menu item Help -> Software Updates -> Find and Install...
    2) Choose "Search for new features to install" and click Next
    3) Click on "New Remote Site..." and add a new site:

    Name: CoreASM
    URL: http://www.coreasm.org/eclipse/update-site

    4) Click on "Finish" and continue with the installation of CoreASM Eclipse plugin.

    Posted on Tue, 19 Feb 2008 09:00:39 GMT
  • JASMine 1.0.7-beta is released!

    JASMine plugin is finally here! JASMine is a CoreASM Plugin that provides means to access Java objects and classes from inside a CoreASM specification.

    Try it and let us know what you think! :-)

    Posted on Sat, 02 Feb 2008 02:10:09 GMT
  • CoreASM Engine 1.0.5

    This is basically a bug fix over version 1.0.3.

    - ChooseRule plugin: re-evaluation of choose rules with no condition would use a cached value of the domain. This is fixed now.
    - List plugin: cons(e, l) function was not working properly. This is fixed now.
    - Set plugin: set 'subset' operation was missing. I considered this a bug! :-) A 'subset' operation is added in this release.
    - Some error messages in ChooseRule, ForallRule, and PredicateLogic plugins are improved.

    Posted on Mon, 21 Jan 2008 10:18:38 GMT

Get The News!

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


Copyright. © 2005-2008 Software Technology Lab, SFU.  All rights reserved.