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

#formalmethods