课程介绍
本期使用 Batfish 构建 NetVerify 网络变更验证流程，从配置解析和多跳 BGP 拓扑建模开始，检查路由、可达性、隔离策略与变更前后差异。课程把网络意图转化为可重复执行的查询与断言，让 CI/CD 中的网络变更在部署前得到证据化验证，而不是依赖人工抽查。
录像总时长：25 分 16 秒。
配套 Git 仓库：https://qytgit.qytang.com/qytadmin/2026-18-batfish
COURSE RECORDINGS
课程录像
完整录像公开播放，也可以前往原视频平台观看。
B 站01