PickVids"Finding bugs without running or even looking at code" by Jay Parlar
推荐理由
There is a talk that gives a good overview on Alloy and how useful using something like this is
说明
这是2019年由Strange Loop Conference发布的一部演讲，主题归在Logic & formal methods。它讲的是formal modeling with alloy这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：Jay Parlar's Strange Loop talk shows how model checkers such as Alloy can find complex bugs in a system's design without running or reading any code. He walks through modeling architectures and checking every possible sequence of operations, including a real security bug and a UI feature-interaction bug.这些读者给出的理由，核心是：HN commenters point to it as the best practical introduction to Alloy and to lightweight formal modeling.讲法不绑某一条新闻，过几年仍然可以当材料看。从2019年到2023年，有4位不同的读者在4个不同月份把它推荐出来，其中明确叫别人去看的有2次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把formal modeling with alloy变成能跟着复述的例子。
视频信息
- 频道
- Strange Loop Conference
- 时长
- 40 分 27 秒
- 发布年份
- 2019