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