Systemy obronne nie mogą po prostu wykonywać poleceń. Mają być w stanie udowodnić, że są zgodne z wymaganiami. W sytuacjach autonomicznych o wysokim ryzyku, sama instrukcja to za mało. Weryfikacja jest kluczowa.