Editors
Some TLA+ editors include:
- TLA+ Toolbox (an Eclipse IDE for TLA+ tools, including PlusCal translator, TLC model checker and TLA+ Proof System)
- Eclipse TLA+ Plugin
- VisualTLA
- TLA Editor
- TLA# Plugin for Microsoft Visual Studio 2005
Read more about this topic: Temporal Logic Of Actions
Famous quotes containing the word editors:
“Narrowed-down by her early editors and anthologists, reduced to quaintness or spinsterish oddity by many of her commentators, sentimentalized, fallen-in-love with like some gnomic Garbo, still unread in the breadth and depth of her full range of work, she was, and is, a wonder to me when I try to imagine myself into that mind.”
—Adrienne Rich (b. 1929)
“The trenchant editorials plus the keen rivalry natural to extremely partisan papers made it necessary for the editors to be expert pugilists and duelists as well as journalists. An editor made no assertion that he could not defend with fists or firearms.”
—Federal Writers’ Project Of The Wor, U.S. public relief program (1935-1943)
“The editors are committed to nothing save this: to keep common sense as fast as they can, to belabor sham as agreeably as possible, to give civilized entertainment.”
—H.L. (Henry Lewis)