Abstract State Machines

• Abstact State Machines web site http://www.eecs.umich.edu/gasm/
  
• E. Boerger and R. Staerk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, 2003.
  
  http://www.di.unipi.it/~boerger/AsmBook/
• The ASM research center

Other ASM tools

• CoreAsm: executable ASM developed at Software Technology Lab, Simon Fraser University
• AsmL: the Abstract State Machine Language embedded in .NET, developed by Microsoft Research FSE group
• for other tools (some are no longer maintened) see the Asm web site http://www.eecs.umich.edu/gasm/