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