仕様記述言語は、形式仕様記述を行うため形式言語です。形式仕様記述は論理的に正しい仕様を作成することを目的としており、仕様記述言語を用いることで仕様の妥当性を検証できます。主な仕様記述言語として、Z言語／LOTOS／VDMなどが知られています。