Home

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.

License

The CoreASM project is an Open Source project licensed under the Academic Free License version 3.0.

How to get it?

Are you interested in using CoreASM? Please try our CoreASM update site for Eclipse or install CoreASM via the Eclipse Marketplace.

Are you going to build CoreASM on your own? If you need help to build CoreASM and get it running, we explain you how to setup an Eclipse based [development environment](wiki/Development Environment).

Additional Plugins

• Aspect Plugin
• Assertions Plugin
• Ast2Spec Plugin
• Bârun Plugin
• Graph Plugin
• JASMine Plugin
• Jung2 Plugin
• Math Plugin
• Observer Plugin
• Signals Plugin
• Univeral Control Plugin