Toward Industrial Strength Abstract State Machines
Yuri G. Gurevich, Wolfram Schulte, Margus Veanes · 2001
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.