- 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? 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
- Practical TLA+ Now Available • Hillel Wayne https://www.hillelwayne.com/post/practical-tla/ 47 comments
- TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 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/ 17 comments
- How TLA+ Can Help DeFi Protocols Deliver Bug-Free Code | by Onomy Protocol | Onomy Protocol | Medium https://medium.com/onomy-protocol/how-tla-can-help-defi-protocols-deliver-bug-free-code-8a0c89c9cb98 7 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
- TLA+ is easy if you know how to abstract https://blog.fponzi.me/2023-10-26-tla-plus-is-easy-if-you-know-how-to-abstract.html 0 comments
- Writing Software With Infinite Money – Tech from the Front Line https://fruty.io/2024/03/05/writing-software-with-infinite-money/ 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.