язык формальных спецификаций

Formal specification language