I wasn&#x27;t trying to imply that formal verification can&#x27;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.