Hacker Next
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methodsqueue.acm.org
173 points by yarapavan 4 days ago | 54 comments