Lobsters
- The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods https://concerningquality.com/verification-gap/ 17 comments formalmethods
Linked pages
- TIOBE Index - TIOBE https://www.tiobe.com/tiobe-index/ 1604 comments
- Home | seL4 https://sel4.systems 502 comments
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 191 comments
- Parallel Commits: An atomic commit protocol for globally distributed transactions https://www.cockroachlabs.com/blog/parallel-commits 38 comments
- Project Everest https://project-everest.github.io/ 25 comments
- Concrete Semantics http://concrete-semantics.org/ 23 comments
- http://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf 16 comments
- Using TLA+ for fun and profit in the development of Elasticsearch - Yannick Welsch - YouTube https://www.youtube.com/watch?v=qYDcbcOVurc 15 comments
- CompCert - Main page https://compcert.org/ 1 comment
- Performance Improvements via Formally-Verified Cryptography in Firefox - Mozilla Security Blog https://blog.mozilla.org/security/2020/07/06/performance-improvements-via-formally-verified-cryptography-in-firefox/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:concerningquality.com
Search title: The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods | Concerning Quality
See how to search.