"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference · 4 件のHN推薦
動画への質問
現在の場面の解説や、動画全体の要約を AI に頼めます。回答にタイムスタンプがある場合は、選択するとその場面に移動します。
質問例：ここで話し手は何を説明していますか？
Google でのログインが必要です。確定前に消費クレジットの上限を確認できます。
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で推薦される理由： HN commenters point to it as the best practical introduction to Alloy and to lightweight formal modeling.
“There is a talk that gives a good overview on Alloy and how useful using something like this is” HNのコメントを読む ↗