Comment by davemp

> property of software being verifiable

Software is verifiable given a specific test oracle. There are however many problems where providing a correct test oracle is at least as hard as solving the problem itself.

If you’ve ever worked on projects with “Model Based Systems Engineering” you’ll have felt this pain.