Verteidigungssysteme können nicht einfach Befehlen folgen. Sie müssen in der Lage sein, nachzuweisen, dass sie konform sind. In autonomen Situationen mit hohen Einsätzen reicht eine Anweisung nicht aus. Verifizierung ist erforderlich.