As dev tools are leaky language abstraction they can never be complete and thus no software crafted by current methods will ever be 100% correct; loopholes in semantics will always exist as the semantics are human bird song that cannot account for all possible states.

Humans enjoy inventing language, metaphor, to fill perceived gaps in irrational physical reality we can never resolve. To pretend we are more than meets the eye.

Entropy keeps creating need to replace, to refill through erosion of physical state.

Good luck engineering around gravity, electromagnetism, and nuclear forces across the fabric of space time chipping away at all human endeavors.