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.
Active Members
Professor
Ph.D. Candidate
Ph.D. Candidate
Master Student
Master Student
Selected Publications