2 ms·
The age old problem of verification vs. validation. Verification is about whether or not you built something right. Validation is about whether or not you built
by im_down_w_otp 6y ago
The age old problem of verification vs. validation. Verification is about whether or not you built something right. Validation is about whether or not you built the right thing. This article is about using Z3 to pursue the former, the latter is an entirely different issue.