Uma linguagem de especificação com construções especiais e, por vezes, protocolos de verificação, utilizados para desenvolver, analisar e documentar os requisitos de hardware ou software.