Q queue.acm.org Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods 174 points yarapavan 1 year ago 54 comments
