В диссертационной работе усовершенствована модель, формализующая семантику компьютерных программ, которая отличается от существующих учетом семантических аннотаций элементов таких моделей. Впервые предложен интеллектуальный метод синтеза семантических моделей программ. Получил дальнейшее развитие метод проверки выполнимости формальной модели программы. Усовершенствован метод семантико-синтаксического анализа формального языка на основе его многокомпонентной модели. Получил дальнейшее развитие метод машинного обучения с подкреплением. Разработанные методы и модели реализованы в виде модулей прототипа системы синтеза семантических моделей программ.