Written by 
This article is a write-up of a talk I gave at MinneBar 2022. Instead of reading this, you could also watch the recording or view the slides. The title of this talk is “maintaining software correctness.” But what exactly do I mean by “correctness”? Let me set the scene with an example. Years ago, when […]
