KZ

Формальная верификация программ

  • В Дисциплине изложены основы таких подходов, как дедуктивный анализ и проверка моделей. Список тем включает: методы формальной спецификации требований (программные контракты и темпоральная логика линейного времени), методы доказательства корректности программ (метод индуктивных утверждений и метод фундированных множеств) и методы проверки моделей (теоретико-автоматный подход в явной и символической формах).
  • Образовательная программа 8D06102 Информатика
  • ВУЗ Евразийский национальный университет имени Льва Николаевича Гумилева
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 2
Top