Мені здається, що треба навпаки, а не так: Validation — ’is this the right specification?’.
Verification — ’is the system correct to specification?’
Верифікація передує валідації, і перевіряє саме специфікацію, а не систему.