Lately, it feels like I've had a problem making sure my programs are "correct." I'm hoping if I write about it, I'll see a pattern that I can fix. It's frustrating for everyone when bugs slip into commissioned systems, and it reflects badly on custom programming as a whole when these errors aren't caught before … Continue reading Writing “Correct” Programs →