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. LicenseThe CoreASM project is an Open Source project licensed under the Academic Free License version 3.0. |
Copyright. © 2005-2008 Software Technology Lab, SFU. All rights reserved.