Et spesifikasjonsspråk med spesielle konstruksjoner, og noen ganger, verifikasjon protokoller, som brukes til å utvikle, analysere og dokumentere maskinvare eller programvare krav.