Debugging System Design (CoreASM)
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.
Unable to display preview. Download preview PDF.