2022/2023

Формальные методы верификации и тестирования телекоммуникационных протоколов и сервисов

Статус: Маго-лего

Кто читает: Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

Когда читается: 1, 2 модуль

Онлайн-часы: 40

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Евтушенко Нина Владимировна

Язык: русский

Кредиты: 8

Контактные часы: 44

Программа дисциплины

Аннотация

Дисциплина «Формальные методы верификации и тестирования телекоммуникационных протоколов и сервисов» направлена на изучение основных принципов использования формальных методов для верификации и тестирования телекоммуникационных протоколов и сервисов, в том числе,для получения навыков анализа телекоммуникационных протоколов и сервисов и их реализаций с использованием формальных методов. В результате освоения дисциплины студент должен знать основные математические модели и методы их анализа, используемые для тестирования и верификации телекоммуникационных протоколов и сервисов; их основные достоинства и недостатки, и уметь применять известные формальные методы при верификации и тестировании телекоммуникационных протоколов и сервисов.