Een specificatietaal met speciale constructies en, soms, verificatie protocollen, die worden gebruikt om te ontwikkelen, analyseren en documenteren van hardware of software vereisten.