Development
We are developing a platform-independent
engine for executing the CoreASM language and a graphical user
interface (GUI) for interactive visualization and control of CoreASM simulation runs.
The engine comes with a sophisticated and well defined interface and thereby enables
future development and integration of complementary tools (e.g., for symbolic model
checking and automated test case generation).
Visit CoreASM on SourceForge
to download the latest release of the CoreASM engine.
License
The CoreASM project is an Open Source project
licensed under the
Academic Free License version 3.0.
|