"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference · 4 recomendaciones en HN
Preguntas sobre el video
Pide a la IA que explique esta escena o resuma el video completo. Si la respuesta incluye marcas de tiempo, selecciona una para ir al fragmento.
Prueba a preguntar: ¿Qué está explicando aquí la persona que habla?
Inicia sesión con Google. Consulta el costo máximo en 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 qué lo recomienda 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” Leer en HN ↗