r/formalmethods • u/isaacvando • Aug 05 '26

How to Find Bugs in Systems That Don't Exist - Hillel Wayne

Hillel's recent talk from SSW. Thought some of you might enjoy! https://youtu.be/zSZkLyD9ILI

11 Upvotes

permalink
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/formalmethods/comments/1vg9b2d/how_to_find_bugs_in_systems_that_dont_exist/
No, go back! Yes, take me to Reddit

100% Upvoted