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

(queue.acm.org)

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

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