Верификация программна моделях Программы для анализа проекта