Как проверить, что ваша сеть работает правильно: формальная верификация

Дмитрий Ларин / Hadal Project «Во всем виновата сеть»? Как вообще измерить правильность работы сети? В докладе расскажу, как регулярно проверять корректность работы сети при помощи спецификации и технологии формальной верификации. А также разберем, какие задачи решает верификация: построить пути прохождения трафика с учетом L2, L3, FW, VPN и NAT; проконтролировать сегментирование сети на зоны безопасности; обнаружить петли коммутации/маршрутизации; и многое другое. #nexthop #сети Сайт конференции nexthopconf.com TG-канал конференции t.me/YandexNextHop Чат конференции t.me/YandexNextHopTalks Yandex Infrastructure: Сайт infra.yandex.ru TG-канал t.me/yandex_infrastructure Блог на Хабре habr.com/ru/companies/yandex_cloud_and_infra/profile