Формальные методы

  • В этом курсе используются математические модели для проектирования, анализа и верификации программных и аппаратных систем. Курс охватывает теорию и применение формальных методов, включая логику, верификацию и проверку моделей, для обеспечения корректности, безопасности и надежности сложных систем.
  • Образовательная программа 6B06101 Компьютерные науки
  • Кредитов 5
  • Год обучения 2
  • Семестр 2
Top