Main Page

From CoreASM Wiki

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.

Next Release: CoreASM-v1.1, Deadline: To be announced.

Next Technical Report: CoreASM-TR-3

See Deadlines and Tasks for more deadlines.

Related Projects

• JASMine

News

8 Aug 2007

• CoreASM Engine is getting even better! We just released CoreASM Engine version 1.0.1-alpha (this time with Carma version 0.6.0-alpha). This new release has some bug fixes and performance improvements over 1.0.0. Visit CoreASM on SourceForge to download it.

Open Issues

• Inconsistent Updates In Sequence
• Literate programming features
• Map Structure
• Modularity
• Naming of plugins
• Package Plugins
• Plug-in Orders
• Plugin Dependency and Packaging
• Policy Plugins
• Serializable State
• Specifying Monitored Functions (using Signature plugin)
• Type-checking in Expression Evaluation

Also check the following pages:

• Category:Resolved Issues
• Big Picture
• Implementation
• Technical Report