Hacker News
- Why Don't People Use Formal Methods? – 2019 https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 7 comments
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 225 comments
Lobsters
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 32 comments formalmethods, historical
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 118 comments programming
Linking pages
- A Pythonista's Review of Haskell > Ying Wang https://bytes.yingw787.com/posts/2020/01/30/a_review_of_haskell/ 160 comments
- Utterly Unpersuasive: Formal Methods and Law | by Jason Morris | Medium https://roundtablelaw.medium.com/utterly-unpersuasive-formal-methods-and-law-bb8ecf048374 31 comments
- In 2021, Don't Learn a New Programming Language https://sushantsrivastava.substack.com/p/in-2021-dont-learn-a-new-programming 22 comments
- Using Formal Methods at Work • Hillel Wayne https://www.hillelwayne.com/post/using-formal-methods/#fnref:nodes 3 comments
- GitHub - tvler/prop-sets: Generate and test every possible instance of a component in React https://github.com/tvler/prop-sets 3 comments
- Hypermodeling Hyperproperties • Hillel Wayne https://www.hillelwayne.com/post/hyperproperties/ 2 comments
Linked pages
- Home | seL4 https://sel4.systems 502 comments
- CompCert - Main page http://compcert.inria.fr/ 191 comments
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- Frama-C - Framework for Modular Analysis of C programs https://frama-c.com/ 56 comments
- GitHub - hwayne/lets-prove-leftpad: Proving leftpad correct in a dozen different ways https://github.com/hwayne/lets-prove-leftpad 16 comments
- http://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf 16 comments
- https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-yuan.pdf 13 comments
- Embedded in Academia – John Regehr, Professor of Computer Science, University of Utah, USA http://blog.regehr.org/ 8 comments
- Leprechauns of Software⦠by Laurent Bossavit [PDF/iPad/Kindle] https://leanpub.com/leprechauns 0 comments
- https://staff.fnwi.uva.nl/p.vanemdeboas/knuthnote.pdf 0 comments
- The Surprising Security Benefits of End-to-End Formal Proofs » CCC Blog http://www.cccblog.org/2018/06/13/the-surprising-security-benefits-of-end-to-end-formal-proofs/ 0 comments
- How to Make Chord Correct http://www.pamelazave.com/chord.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.hillelwayne.com
Search title: Why Don't People Use Formal Methods? • Hillel Wayne
See how to search.