I wasn't trying to imply that formal verification can't work around undecidability in practice. But you are correct in saying that you can often avoid undecidab

I wasn't trying to imply that formal verification can't work around undecidability in practice. But you are correct in saying that you can often avoid undecidability by restricting yourself to certain idioms, type systems, etc.