User Tools
tla:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
tla:start [2019/09/03 01:11] jonathan [TLA+ Home Page for TLA+/TLC] |
tla:start [2019/09/08 19:55] (current) jonathan |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| On Prism (or the SEL-VM) invoke ''tla'' from the command line. You can also install the TLA+ Toolbox/IDE on your Laptop. | On Prism (or the SEL-VM) invoke ''tla'' from the command line. You can also install the TLA+ Toolbox/IDE on your Laptop. | ||
| - | [[https://www.youtube.com/playlist?list=PLEWQAc3YS7XaULwGamfcKUfPr9HhF2ckk|Playlist of Introductory Videos of analyzing Specifications and checking them for specfication errors]] | + | [[https://www.youtube.com/playlist?list=PLEWQAc3YS7XaULwGamfcKUfPr9HhF2ckk|youtube playlist]] of Introductory Videos for analyzing TLA+ Specifications and checking them for specification error using the TLC modelchecker. |
| + | |||
| + | {{ :tla:tla-summary.pdf |TLA+ Summary}} | ||
| ====== What is TLA+ ====== | ====== What is TLA+ ====== | ||
tla/start.1567473060.txt.gz · Last modified: 2019/09/03 01:11 by jonathan
Page Tools
