Related Projects

###AsmGofer### "AsmGofer is an advanced Abstract State Machine (ASM) programming system, which runs under several platforms (Unix-based or MS-based operating systems). The aim of the AsmGofer system is to provide a modern ASM interpreter embedded in the well known functional programming language Gofer. Gofer is a subset of Haskell -- the de-facto standard for strongly typed lazy functional programming languages."

Joachim Schmid's Homepage

###AsmL###

AsmL is the Abstract State Machine Language. It is an executable specification language based on the theory of Abstract State Machines. Its current version is implemented in Microsoft .NET.

AsmL at Microsoft Research

###ASM to C++ Compiler###

An ASM-SL to C++ compiler that preserves the specification structure in the generated code without generating inefficient code.

Joachim Schmid, Compiling Abstract State Machines to C++. Journal of Universal Computer Science 7( 11), 1068-1087.

Joachim Schmid's Homepage

###The Abstract State Machine Metamodel and its tool set###

"Abstract State Machine Metamodel (AsmM) is a metamodel for the Abstract State Machines (ASMs) formal method developed by following the guidelines of the Model-Driven Engineering (MDE)."

Asmeta Homepage

###ASM Workbench###

ASM Workbench is a framework for the systematic development of tools supporting the development and analysis of Abstract State Machine specifications.

Giuseppe Del Castillo, Towards comprehensive tool support for Abstract State Machines: The ASM Workbench tool environment and architecture. In: D. Hutter, W. Stephan, P. Traverso, and M. Ullmann, eds., Applied Formal Methods -- FM-Trends 98, Springer LNCS 1641, 1999, 311--325.

G. Del Castillo. The ASM Workbench: an Open and Extensible Environment for Abstract State Machines. In U. Glasser and P. Schmitt, editors, Procs. of the 28th Annual Conference of the German Society of Computer Science, TR, pages 139--155, Magdeburg University, 1998.

###CoreASM Debugger###

The CoreASM Debugger is an extension of CoreASM that facilitates debugging of CoreASM specifications in Eclipse. It is developed based on the Eclipse Debug Project (EDP) which provides the Eclipse Debugging Framework as a basis for user defined integrated Eclipse debuggers.

###SpecExplorer###

"Spec Explorer is a software development tool for advanced model-based specification and conformance testing. Spec Explorer can help software development teams detect errors in the design, specification and implementation of their systems. The tool is intended to be used by software testers, designers and implementers."

SpecExplorer at Microsoft Research

###The Timed Abstract State Machine (TASM) Language and Toolset###

"The TASM Language was developed as an extension to the Abstract State Machine (ASM) Language. The core idea behind the TASM language is to incorporate functional and non-functional properties into a single specification language. Most specifically, the TASM language can specify functional behavior, timing behavior, and resource consumption."

TASMM Paper

###Xasm: eXtensible Abstract State Machines###

The purpose of the Xasm project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.

Xasm on SourceForge