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..