KZ

Верификация и анализ программ

  • Целью дисциплины является обучение магистрантов методам и инструментам для проверки правильности, безопасности и надежности программного обеспечения. Дисциплина охватывает теоретические основы и практические подходы к статическому и динамическому анализу программ, а также методики формальной верификации. После завершения курса магистрант знает существующие подходы к верификации моделей программного обеспечения. Умеет осуществлять верификацию программного обеспечения. Владеет навыками понимания существующих подходов к верификации моделей программного обеспечения.
  • Образовательная программа 7M06150 Вычислительная техника и программное обеспечение
  • ВУЗ Кызылординский университет имени Коркыт Ата
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 1
Top