> maybe it is something to look into for cars, airplanes, medicine, etc. For the rest of us, who still wrestle with complexity but probably would't accidentally kill someone, here are some simpler aids:

TLA+ isn't perfect, but it's actually not that hard to use! I'm a webdev and it comes in handy all the time.

> Data-driven programming. I'll just quote some really smart people:

You might want to check out Alloy. It's a formal spec language that specializes in verifying data structures.