RU

Программаларды формалдық верификациялау

  • Пәнде дедуктивтік талдау және үлгілерді тексеру сияқты тәсілдердің негіздері берілген. Тақырыптар тізімі: талаптардың формальды спецификациясының әдістері (программалық келісімшарттар және сызықтық уақыттың темпоралдық логикасы), программалардың дұрыстығын дәлелдеу әдістері (индуктивті тұжырымдау әдісі және фундирленген жиындар әдісі) және модельдерді тексеру әдістері (айқын және символдық формадағы теориялық-автоматты тәсіл).
  • Образовательная программа 8D06102 Информатика
  • ВУЗ Лев Николаевич Гумилев атындағы Еуразия ұлттық университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 2
Top