engl.: correctness
Die Spezifikation kommt üblicherweise aus dem Entwurf bzw. den Anforderungen.
Zwei zentrale Eigenschaften: