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? 
- 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.
|
