- You might not need a CS degree but you definitely need the CS Knowledge https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf 16 comments learnprogramming
Linking pages
- Why Don't People Use Formal Methods? • Hillel Wayne https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 382 comments
- Where are we going from here? Software engineering needs formal methods | nicholas@web https://ntietz.com/tech-blog/future-of-software-engineering-is-formal-methods/ 145 comments
- The Business Case for Formal Methods • Hillel Wayne https://www.hillelwayne.com/post/business-case-formal-methods/ 107 comments
- Are we observable yet? An introduction to Rust telemetry | A learning journal https://www.lpalmieri.com/posts/2020-09-27-zero-to-production-4-are-we-observable-yet/#0-previously-on-zero-to-production 41 comments
- The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods | Concerning Quality https://concerningquality.com/verification-gap/ 14 comments
- Many Of The Benefits Of Formally Verifying Smart Contracts With Much Less Pain | by Christian Seberino, Ph.D. | Medium https://medium.com/@cseberino/a-practical-alternative-to-formally-verifying-smart-contracts-7113129e4039 4 comments
- Debug like Feynman, test like Faraday https://mmapped.blog/posts/05-debug-like-feynman.html 2 comments
- PLTalk: Practical Formal Methods with Hillel Wayne - tl;dr sec https://tldrsec.com/blog/pltalk-practical-formal-methods-hillel-wayne/ 1 comment
- You have to force quit because cache design is hard https://abe-winter.github.io/force-quit/2019/10/20/kaching.html 1 comment
- A beginners step by step guide to Alloy http://msitko.pl/blog/2020/05/24/guide-to-alloy.html 0 comments
- Thoughts on AI replacing coders by 2040 – Amund Tveit's Blog https://amundtveit.com/thoughts-on-ai-replacing-coders-by-2040/ 0 comments
Related searches:
Search whole site: site:lamport.azurewebsites.net
Search title: You might not need a CS degree but you definitely need the CS Knowledge
See how to search.