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:
“... 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)
“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)
“Armies, though always the supporters and tools of absolute power for the time being, are always the destroyers of it too; by frequently changing the hands in which they think proper to lodge it.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)