Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

Posted 10 months ago by yarapavan
174 points

https://queue.acm.org/detail.cfm?id=3712057

11 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..