PickVids"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
推荐理由
If you are new to TLA+ and just want to get the basic idea and use cases, I recommend the talk.
说明
这是2017年由Strange Loop Conference发布的一部演讲，主题归在Logic & formal methods。它讲的是formal specification with tla+这一支里的具体问题，而不是把整个领域扫一遍。适合第一次接触、还没有先修课的人。内容上可以概括成：Hillel Wayne's Strange Loop talk introducing TLA+ as a specification language for finding concurrency bugs in designs. It covers stalling, race conditions and dropped messages, with PlusCal examples.这些读者给出的理由，核心是：Recommended as a concise, high-level intro to what TLA+ is and when it helps.讲法不绑某一条新闻，过几年仍然可以当材料看。从2018年到2025年，有3位不同的读者在3个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把formal specification with tla+变成能跟着复述的例子。
视频信息
- 频道
- Strange Loop Conference
- 时长
- 30 分 6 秒
- 发布年份
- 2017