Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

Authors:
Giuseppe Del Castillo
Affiliations:
-
Venue:
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Year:
1998

Citing 10
Cited 7

Systematic software development using VDM (2nd ed.)

Systematic software development using VDM (2nd ed.)
Evolving algebras 1993: Lipari guide

Specification and validation methods
Symbolic Model Checking

Symbolic Model Checking
Java Virtual Machine Specification

Java Virtual Machine Specification
The Definition of Standard ML

The Definition of Standard ML
Principal type-schemes for functional programs

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Executable Specifications based on Dynamic Algebras

LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
leanEA: A Lean Evolving Algebra Compiler

CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
PVS: A Prototype Verification System

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Formal aspects of and development environments for Montages

Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications

CoreASM: An Extensible ASM Execution Engine

Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation

ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
The CoreASM modeling framework

Software—Practice & Experience
Correct transformation: From object-based graph grammars to PROMELA

Science of Computer Programming
JASMine: accessing java code from CoreASM

Rigorous Methods for Software Construction and Analysis
CoreASM: An Extensible ASM Execution Engine

Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Executable formal specifications of complex distributed systems with CoreASM

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

As a framework for the systematic development of tools supporting the development and cinalysis of Abstract State Machine (ASM) specifications, we developed the ASM Workbench. This paper describes the basic concepts of its circhitecture and the existing components.