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)

    “No man is born into the world, whose work
    Is not born with him; there is always work,
    And tools to work withal, for those who will:
    And blessèd are the horny hands of toil!”
    —James Russell Lowell (1819–1891)

    “... pure and intelligent women can be deceived and misled by the baser sort, their very innocence and experience making them credulous and the helpless tools of the guilty and bold.”
    —Catherine E. Beecher (1800–1878)