Asmeta Web Resources

Abstract State Machines

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/

Model-driven engineering

OMG's standards and tools