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

(queue.acm.org)

167 points yarapavan | 1 comments | 01 Apr 25 14:59 UTC | HN request time: 0.226s | source

1. ◴[01 Apr 25 15:23 UTC] No.43547909[source]▶