Development
DevelopmentWe 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. Visit the CoreASM repository to access the CoreASM development files and source code. Also, check the CoreASM Wiki for more information on accessing the lastest versions of the CoreASM engine and its upcoming releases. LicenseThe CoreASM project is an Open Source project licensed under the Academic Free License version 3.0. |
Copyright. © 2005-2010 The CoreASM development team. All rights reserved.