Documentation
From coreasm
Contents |
Manuals
- CoreASM User Manuals
- Control State Diagram editor
- CSDe Eclipse Plugin
- Full instructions for installing the CSDe Eclipse plugin using the update site are contained within the CSDe Manual. The manual also contains directions on how to use CSDe.
Publications
- R. Farahbod, V. Gervasi, and U. Glässer. CoreASM: an Extensible ASM Execution Engine. Fundamenta Informaticae. Vol. 77. No. 1-2. pp. 71--103. (2007)
- R. Farahbod, V. Gervasi, and U. Glässer. CoreASM: An extensible ASM execution engine. In Proc. of the 12th Int’l Workshop on Abstract State Machines. Paris, France. March 2005.
Technical Reports
- R. Farahbod, V. Gervasi, U. Glässer, G. Ma, and M. Memon. Design and Specification of the CoreASM Execution Engine and Plugins: Engine Version 1.1. (DRAFT) Technical Report in preparation.
- R. Farahbod, V. Gervasi, U. Glässer, and M. Memon. Design and Specification of the CoreASM Execution Engine, Part 1: the Kernel. Technical Report SFU-CMPT-TR-2006-09, Simon Fraser University, May 2006. [alternative download]
- R. Farahbod, V. Gervasi, and U. Glässer. Design and Specification of the Core-ASM Execution Engine. Technical Report SFU-CMPT-TR-2005-02, Simon Fraser University, February 2005.
Recent Presentations
- R. Farahbod. Executing ASM Specifications with CoreASM. Advances in Software Engineering, Lipari International School for Computer Science Researchers. Lipari, Italy. July 2007.
- Part One: Introduction to the CoreASM Engine
- Part Two: Extensibility and Applications
Theses
- George Ma. Model Checking Support for CoreASM: Model Checking Distributed Abstract State Machines Using SPIN. Master's thesis, School of Computing Science, Simon Fraser University, May 2007. [alternative download]
- Mashaal Anwar Memon. Specification language design concepts: Aggregation and extensibility in coreasm. Master's thesis, School of Computing Science, Simon Fraser University, April 2006. [alternative download]
