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 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)
“... 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)