Abstract State Machines: Tools

---

Note:This page contains links to web pages offering tools for using ASMs. You may also want to see the Interpreters & Tools page which describes published papers about ASM tools (including tools not listed here).

---

• ASM Gofer
  http://www.tydo.de/AsmGofer

• AsmL: The Abstract State Machine Language
  http://www.research.microsoft.com/foundations/asml

• AsmM: Abstract State Machine Metamodel
  http://asmeta.sourceforge.net/

• ATGT: ASM Tests Generation Tool
  http://cs.unibg.it/gargantini/software/atgt/index.html

• CoreASM
  http://www.coreasm.org/

• Michigan Interpreter
  ftp://www.eecs.umich.edu/groups/gasm/interp2.tar.gz (source code archive)

• XASM: The Open Source ASM Language
  http:///www.xasm.org/

[an error occurred while processing this directive]