Una lingua specifica con speciali costrutti e, talvolta, protocolli di verifica, utilizzati per sviluppare, analizzare e documentare i requisiti hardware o software.