ASM Workbench Demo

The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models

G. Del Castillo (Universität Paderborn)

Gurevich's Abstract State Machines (ASMs) constitute a high-level state-based modelling language, which has been used in a wide range of applications (computer architectures, programming language semantics, communication protocols, etc.). The ASM Workbench is a comprehensive tool environment supporting the development and computer-aided analysis and validation of ASM models. It is based on a typed version of the ASM language, called ASM-SL, and includes features for type-checking, simulation, debugging, and verification of ASM models. In this presentation, after introducing its basic architecture, all the essential features of the ASM Workbench will be demonstrated on a simple but not trivial example.