Validasi vs. Verifikasi: Apa bedanya?

Apa bedanya "validasi" dan "verifikasi" (dari kacamata metoda formal)?  Ini bedanya. Validasi itu memastikan bahwa yang dibuat sesuai dengan  keinginan kita. Verifikasi itu memastikan bahwa implementasi memang  terbukti sesuai dengan spesifikasinya. Boleh jadi spesifikasinya salah,  bukan yang kita inginkan, tetapi verifikasi memang benar karena memang  implementasi tersebut sesuai dengan spesifikasinya. Pusing? Dengarkan  videonya.