Lobsters
- Finding bugs without running or even looking at code https://www.youtube.com/watch?v=FvNRlE4E9QQ 3 comments formalmethods , video
- "Finding bugs without running or even looking at code" by Jay Parlar [Strange Loop talk; 40min] https://www.youtube.com/watch?v=FvNRlE4E9QQ 3 comments programming
Linking pages
- The Business Case for Formal Methods • Hillel Wayne https://www.hillelwayne.com/post/business-case-formal-methods/ 107 comments
- Announcing: Alloydocs • Hillel Wayne https://www.hillelwayne.com/post/alloydocs/ 17 comments
- Designing Distributed Systems with TLA+ • Hillel Wayne https://www.hillelwayne.com/talks/distributed-systems-tlaplus/ 7 comments
- What if the spec doesn't match the code? • Buttondown https://buttondown.email/hillelwayne/archive/what-if-the-spec-doesnt-match-the-code/ 5 comments
- Formally Modeling Database Migrations • Hillel Wayne http://hillelwayne.com/post/formally-modeling-migrations/ 4 comments
- PLTalk: Practical Formal Methods with Hillel Wayne - tl;dr sec https://tldrsec.com/blog/pltalk-practical-formal-methods-hillel-wayne/ 1 comment
- A beginners step by step guide to Alloy http://msitko.pl/blog/2020/05/24/guide-to-alloy.html 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.youtube.com
Search title: "Finding bugs without running or even looking at code" by Jay Parlar - YouTube
See how to search.