Formal Methods for Communication Protocols and Services Verification and Testing

2022/2023

Academic Year

RUS

Instruction in Russian

8

ECTS credits

Delivered at:

Joint Department with the RAS Institute for System Programming

Course type:

Compulsory course

When:

2 year, 1, 2 module

Instructor

Evtushenko, Nina V.

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

Аннотация

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