Ich würde in Richtung "Die Spezifikation muss automatisiert testbar sein" tendieren. Aber genau wissen, müsste das dein Kunde
Verifizieren (!) wäre auf jeden Fall bööööse. Durfte mich im Studium damit rumschlagen. Haben damals ein Tool der Uni genutzt (Trommelwirbel für den Namen)
VeriFun.