Hacker News
Linking pages
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 382 comments
- How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors | ConsenSys https://consensys.net/blog/ethereum-2-0/20039/ 130 comments
- GitHub - rekihattori/awesome-programmers: A list of history's greatest software engineers and tech pioneers https://github.com/rekihattori/awesome-programmers 44 comments
- This Week in Rust 150 · This Week in Rust https://this-week-in-rust.org/blog/2016/10/04/this-week-in-rust-150/ 23 comments
- Your two blank line budget for tests https://code.joejag.com/2018/two-line-budget.html 11 comments
- TLA+ in Practice and Theory&ampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampLTbr/>Part 3: The (Temporal) Logic of Actions https://pron.github.io/posts/tlaplus_part3 8 comments
- Null references was a mistake, but what's the take-away? http://boxbase.org/entries/2019/feb/4/null/ 7 comments
- Verifying Software with Timers and Clocks (STACs) https://insights.sei.cmu.edu/sei_blog/2016/12/verifying-software-with-timers-and-clocks-stacs.html 6 comments
- How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors | ConsenSys https://consensys.net/blog/ethereum-2-0/20039/?amp%3Bhss_channel=tw-3129477561&%3Bs=09&%3Butm_medium=social&%3Butm_source=twitter 5 comments
- xavxav - Visions of the future: formal verification in Rust https://xav.io/blog/rust-formal-verification/ 5 comments
- Design By Contract, Immutability, Side Effects and Gulag - DEV Community 👩💻👨💻 https://dev.to/juancarlospaco/design-by-contract-immutability-side-effects-and-gulag-44fk 4 comments
- GitHub - juancarlospaco/nim-contra: Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode. https://github.com/juancarlospaco/nim-contra#contra 3 comments
- On Invariance and Inconsistency https://www.hansdieterhiep.nl/blog/on-invariance-and-inconsistency/ 3 comments
- Testing General Rules Through Property-Based Tests - A. Rothuis https://arothuis.nl/posts/property-based-testing-rock-paper-scissors/ 1 comment
- The Rise of Type Theory http://pling.jondgoodwin.com/post/rise-of-type-theory/ 0 comments
- Placing knowledge on center stage - Lev Gorodinski http://gorodinski.com/blog/2012/12/10/placing-knowledge-on-center-stage/ 0 comments
- Towards Hoare logic for a small imperative language in Haskell – bor0's blog https://bor0.wordpress.com/2021/01/18/towards-hoare-logic-for-a-small-imperative-language-in-haskell/ 0 comments
- Safer asynchronous workflows for GUI programming - Tomas Petricek http://tomasp.net/blog/safe-gui-async.aspx 0 comments
- Write better tests with one neat trick · GitHub https://gist.github.com/lhorie/d7874a999e6f379a7d0f5496f50cb6c3 0 comments
- Incorrectness Logic by Example https://hexgolems.com/2020/04/incorrectness-logic-by-example/ 0 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Hoare logic - Wikipedia
See how to search.