Skip to main content
Conference ProceedingsOPEN ACCESS

The ASM workbench a tool environment for computer-aided analysis and validation of abstract state machine models tool demonstration

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2001) 2031 LNCS 578-581
DOI: 10.1007/3-540-45319-9_40
9Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

Gurevich's Abstract State Machines (ASMs) constitute a high-level state-based modelling language, which has been used in a wide range of applications. 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. © Springer-Verlag Berlin Heidelberg 2001.

Cite

CITATION STYLE

APA

Del Castillo, G. (2001). The ASM workbench a tool environment for computer-aided analysis and validation of abstract state machine models tool demonstration. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2031 LNCS, pp. 578–581). Springer Verlag. https://doi.org/10.1007/3-540-45319-9_40

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free