eri-keeletarinditega ja mõnikord ka verifitseerimis protokollidega spetsifitseerimiskeel, mida kasutatakse riistvara või tarkvara tehnilise lahenduse väljatöötamiseks, analüüsiks ja dokumenteerimiseks