PPT Применение шаблонов требований для формальной спецификации и верификации а