Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods 165 points by yarapavan 1 days ago 52 comments story
Hacker News