A specification language with special constructs and, sometimes, verification protocols, used to develop, analyze, and document hardware or software requirements.