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:
“But lo! men have become the tools of their tools.”
—Henry David Thoreau (1817–1862)
“At the utmost, the active-minded young man should ask of his teacher only mastery of his tools. The young man himself, the subject of education, is a certain form of energy; the object to be gained is economy of his force; the training is partly the clearing away of obstacles, partly the direct application of effort. Once acquired, the tools and models may be thrown away.”
—Henry Brooks Adams (1838–1918)
“The besetting sin of able men is impatience of contradiction and of criticism. Even those who do their best to resist the temptation, yield to it almost unconsciously and become the tools of toadies and flatterers. “Authorities,” “disciples,” and “schools” are the curse of science and do more to interfere with the work of the scientific spirit than all its enemies.”
—Thomas Henry Huxley (1825–95)