Network Verification

Network is a critical infrastructure but configuring it is rather complex and easily goes wrong. Traditionally, after a network error is detected, operators use measurement tools to localize the root causes. Such a post-effect approach puts networks at risks of unpredictable down time. Network verification is a revolutional approach: it uses formal methods to either prove the correctness of configurations, or finds counterexamples that violate correctness properties, such that potential outages can be prevented.

Peng Zhang

Professor

Xu Liu

Ph.D. Candidate

Dan Wang

Ph.D. Student

Wenbing Sun

Master Student

Zechun Li

Master Student

Yichi Zhang

Master Student

Zhenrong Gu

Master Student