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

Ning Kang

Ph.D. Candidate

Dan Wang

Ph.D. Candidate

Yichi Zhang

Master Student

Zhenrong Gu

Master Student

Xiatian Wu

Undergraduate

Yifeng Pei

Undergraduate