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