Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (queue.acm.org)
AWS (Amazon Web Services) strives to deliver reliable services that customers can trust completely.
Systems Correctness, Cloud Computing, AWS, Software Engineering, Formal Methods
174 points by yarapavan 25 days ago | 54 comments