Specification Language

A specification language is a formal language in computer science used during systems analysis, requirements analysis and systems design to describe a system at a much higher level than a programming language which is used to produce the executable code for a system.

Specification languages are generally not directly executed.

They are meant to describe the what not the how.

An important use of specification languages is enabling the creation of proofs of program correctness.