mdausend edited this page Apr 28, 2015 · 14 revisions

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.


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
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.