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:

    “Justice and truth are too such subtle points that our tools are too blunt to touch them accurately.”
    —Blaise Pascal (1623–1662)

    “The study of tools as well as of books should have a place in the public schools. Tools, machinery, and the implements of the farm should be made familiar to every boy, and suitable industrial education should be furnished for every girl.”
    —Rutherford Birchard Hayes (1822–1893)

    “Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.—The function of words are as diverse as the functions of these objects.”
    —Ludwig Wittgenstein (1889–1951)