Comment by less_less

Isn't it more like:

    Verification: code does what the specifications say

    Validation: specifications describe something we wanted to build

where with formal verification, the specifications are lower-level, so validation is extra-important.