Debugging System Design (CoreASM)

  • Egon Börger
  • Alexander Raschke
Chapter

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Egon Börger
    • 1
  • Alexander Raschke
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Institute of Software Engineering and Programming LanguagesUniversität UlmUlmGermany

Personalised recommendations