Un lenguaje de especificación con construcciones especiales y, a veces, protocolos de verificación, utilizados para desarrollar, analizar y documentar los requisitos de hardware o software.