KZ

Математические основы верификации программ

  • Классификация методов верификации ПО. Экспертиза. Формальные методы. Статический анализ программного обеспечения. Реализация анализа и выявления зависимостей в рамках метода абстрактной интерпретации. Динамические методы верификации ПО.
  • Образовательная программа 6B06103 Программная инженерия
  • ВУЗ Алматинский технологический университет
  • Кредитов 5
  • Селективная дисциплина
  • Семестр 2
Top