Главная страница « Спецсеминары «

Спецсеминар «Корректность программ»

Руководители:
доктор физ.-мат. наук Петренко Александр Константинович,
канд. физ.-мат. наук Хорошилов Алексей Владимирович,
канд. физ.-мат. наук Кулямин Виктор Вячеславович

вернуться на страницу спецсеминара

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

ВЕРИФИКАЦИЯ ТЕЛЕКОММУНИКАЦИОННЫХ ПРОТОКОЛОВ



Заинтересовались?
Напишите нам:
Пакулин Николай
npak@ispras.ru



Сейчас нам интересны такие исследования:

  1. Верификация протоколов (функциональные свойства, performance);

  2. Верификация реализаций протоколов;

  3. Interoperability testing (проверка того, что одна реализация протокола корректно работает с другой).

Присоединяйтесь!

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 11.6.2009