Mit formalen Spezifikationstechniken soll die ungenaue menschliche Sprache durch die präzisen Mittel der Mathematik mit klarer Syntax und Semantik ersetzt werden. Fehler in Spezifikation und Software werden damit so früh wie möglich vermieden.
In der Softwareentwicklung werden Verifikationstechniken in unterschiedlichen Ausprägungen eingesetzt. Mit Hilfe von Verifikation soll eine höhere Qualität eines Softwaresystems dadurch gewährleistet werden, dass Eigenschaften des Systems nachgewiesen werden.
