This article is a write-up of a talk I gave at MinneBar 2022. You can see the slides for the original deck here. (As of writing, the recording is not online yet.)
The title of this talk is "maintaining software correctness." But what exactly do I mean by “correctness”? Let