Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods (via mjref) — discussion
#formalmethods
