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 00:30] jonathan [Introductory Videos] |
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|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.1567470630.txt.gz · Last modified: 2019/09/03 00:30 by jonathan
Page Tools
