It could be done well. After all, for decades we've been using software for safety-critical applications like flight computers, medical devices, industrial machines, etc.

There's no reason you couldn't write extremely reliable election software by applying that level of extreme rigor, but it seems like the vendors aren't doing so.