Lamport TLA+ Course Lecture 3: Resources and Tools (HD)
Рет қаралды 12,925
Күн бұрынIMPORTANT NOTE!: This is a mirror of Lamport's TLA+ lecture videos with some chapter markers in the video description from Lamport's site for ease of viewing on mobile devices, or other platforms and connection setups where KZfaq is the most optimal "format". For the original files, resources, errata, and more, please visit lamport.azurewebsites.net/vide... or the original page which is linked below.
Original Description: Describes resources for learning about TLA+.Explains how to download the Toolbox and shows how to use it to open a spec, view the pretty-printed version, and run TLC on it.
Original Link: lamport.azurewebsites.net/vide...
Corrections: lamport.azurewebsites.net/vide...
Contents
0:00 - Intro
00:03 - Prologue
00:25 - TLA+ Resources
01:43 - Downloading the Toolbox
02:47 - Creating a Spec
04:36 - The Pretty-Printer
05:15 - Running TLC
08:36 - The TLA+ Proof System
09:09 - The Unicode Option
09:58 - Help!
10:40 - Epilogue
@monkiedeinhau557 3 жыл бұрын
His 10-20 minutes videos usually equivalent to a 3 hours lecture in school. I like the sense of humor, the pace and the clarity of the lecture.
@FrVle 6 жыл бұрын
You gotta love Lamport xD I really like his sence of humor
@JoshuaHerman 3 жыл бұрын
I started realizing he was being sarcastic halfway through this video.
@viewerontube 3 ай бұрын
Good old school... Pretty clear and laconic. Thank You Leslie!
@huailinchen 3 жыл бұрын
I cannot help laughing when watching to the end. So cute, Dr. Lamport. We all love you!
@daviskipchirchir1357 2 жыл бұрын
with the natural background he uses I almost feel like I am being let into the fundamental secrets of programming
@conduit242 2 жыл бұрын
Lamport is definitely flying a buckling spring keyboard 💯
@charlessmyth 2 жыл бұрын
Got all of that downloaded and running on my Debian Bullseye :-)
@tubex1300 Жыл бұрын
Prof thanks for this great vids I love them the most
@1JWL 4 жыл бұрын
Yup. Making TLA fun.
@juandomandl3282 Жыл бұрын
This is awesome.
@Datamining101 Ай бұрын
"Laytek, or lahtek if you prefer" well now we know how to say it 😂
@visionlee4587 3 жыл бұрын
So cute Lamport
@raoulhatterer957 Жыл бұрын
I wonder At kzfaq.info/get/bejne/arSke7iXvdLKZJs.html you define Pick and Add1 starting with an \/ In your previous video kzfaq.info/get/bejne/atmeqr2dnJiak2g.html you didn't do this which seems more logical to me because the definition of "Next" includes the \/
@Macromacroxxx 3 жыл бұрын
Oh Lord, Lamort is f-ing hilarious.
@borincod 2 жыл бұрын
He had to add at the last minute: "Now, stop the video and watch Die Hard 3 !"
@TrueDetectivePikachu 2 жыл бұрын
Why Google group tho? Why not Discord or reddit?
@handsanitizer2457 2 жыл бұрын
This was 5 to 4 years ago, people used to use those still
Fabiosa Best Lifehacks
Рет қаралды 37 МЛН