Toward Industrial Strength Abstract State Machines

Yuri Gurevich, Wolfram Schulte, and Margus Veanes

Abstract

A powerful practical ASM language, called AsmL, is being developed in Microsoft Research by the group on Foundations of Software Engineering. AsmL extends the language of original ASMs in a number of directions. We describe some of these extensions.

Details

Publication typeTechReport
NumberMSR-TR-2001-98
Pages12
InstitutionMicrosoft Research
> Publications > Toward Industrial Strength Abstract State Machines