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

Model-driven engineering

OMG's standards and tools