Most software problems I encounter in the real world ARE of bounded complexity, and they can be reduced to software verification.  But this is still a very tedious process and there are significant gains to be had by making this more accessible without having to solve the hardest problem in computer science.