News for hackers. Stuff that matters.

A comment on Software Verification and Analysis Using Z3. Parent comment

Re:Software Verification and Analysis Using Z3 by im_down_w_otp on Saturday January 30, 2021 @07:19PM (#25974434)
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.
[ Parent | on HN ]

There are no comments on this comment yet.