From just writing code, no.

Now, the question is can we make some kind of formal verification language that forces checks everything and doesn't allow bugs? Maybe?

But that's assuming the underlying hardware and firmware doesn't have flaws that can break those assumptions too.