Abstract
Defines a high-level model for the CoreASM interpreter, a tool which has been developed for the computer execution of Abstract State Machine (ASM) models. Also a debugger to debug CoreASM models is specified. Both definitions are given by basic ASM models.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Germany, part of Springer Nature
About this chapter
Cite this chapter
Börger, E., Raschke, A. (2018). Debugging System Design (CoreASM). In: Modeling Companion for Software Practitioners. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-56641-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-56641-1_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-56639-8
Online ISBN: 978-3-662-56641-1
eBook Packages: Computer ScienceComputer Science (R0)