View in browser 🔖 Articles Maintaining Software Correctness The title of this talk is "maintaining software correctness." But what exactly do I mean by “correctness”? Let me tell you more.