Abstract State Machines - Tools

Tools

(in historical order since 2000)

  • ASMETA, the Abstract State Machine Metamodel and its tool set
  • AsmL
  • CoreASM, available at CoreASM, an extensible ASM execution engine
  • AsmGofer
  • The TASM toolset: specification, simulation, and formal verification of real-time systems
  • The XASM open source project

Read more about this topic:  Abstract State Machines

Famous quotes containing the word tools:

    “Man is a tool-using animal.... Without tools he is nothing, with tools he is all.”
    —Thomas Carlyle (1795–1881)

    “A life I didn’t choose
    chose me: even
    my tools are the wrong ones
    for what I have to do.”
    —Adrienne Rich (b. 1929)

    “Machinery is aggressive. The weaver becomes a web, the machinist a machine. If you do not use the tools, they use you. All tools are in one sense edge-tools, and dangerous.”
    —Ralph Waldo Emerson (1803–1882)