User Tools
tla:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous 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 4: | Line 4: | ||
| [[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. | [[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.1567473115.txt.gz · Last modified: 2019/09/03 01:11 by jonathan
Page Tools
