That just shifts bugs up one layer, into the specification that you then verify
Yes but that is significantly less surface area (indeed asymptotically less in the general case if you believe P != NP).
alt Hacker News
Yes but that is significantly less surface area (indeed asymptotically less in the general case if you believe P != NP).