Sistem pertahanan tidak bisa hanya mengikuti perintah. Mereka harus dapat membuktikan bahwa mereka patuh. Dalam situasi otonom berisiko tinggi, instruksi tidak cukup. Verifikasi adalah.