"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference · 4 recomendações no HN
Perguntas sobre o vídeo
Peça à IA para explicar esta cena ou resumir o vídeo inteiro. Se a resposta tiver marcações de tempo, selecione uma para ir ao trecho.
Experimente perguntar: O que a pessoa está explicando aqui?
Entre com o Google. Confira o custo máximo em créditos antes de confirmar.
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.
Por que o HN recomenda: 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” Ler no HN ↗