Systems Correctness Practices at Amazon Web Services (by mjb) — discussion

#formalmethods #testing