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

Posted 2 days ago by yarapavan
165 points

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

10 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..