Maintaining Software Correctness
16/Nov/2022
This vendible is a write-up of a talk I gave at MinneBar 2022. Instead of reading this, you could moreover watch the recording or view the slides.The title of this talk is "maintaining software correctness." But what exactly do I midpoint by “correctness”? Let me set the scene with an