Learning formal verification by writing a spec for verifying a zero-downtime database migration in PlusCal (via hwayne) — discussion

#formalmethods