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