Bugs Rust won't catch(corrode.dev)
620 points by lwhsiao | 333 comments
A corrode.dev blog post by Matthias Endler about classes of bugs that Rust's compiler and type system do not prevent.
#software-correctness on Hacker News
2 stories tagged software-correctness, newest first.
Systems Correctness Practices at Amazon Web Services(cacm.acm.org)
345 points by tanelpoder | 127 comments
Communications of the ACM practice article by Marc Brooker and Ankush Desai on how AWS uses formal and semi-formal methods to ensure systems correctness.