Explainable Network Verification via Localized Subspecification

Author:

Yongzheng Zhang

,

Yaxuan Lin

,

Haoxian Chen

,

Ruize Ma

,

Amirmohammad Nazari

,

Mukund Raghothaman

, and Peng Zhang

Proceedings of ACM SIGCOMM '26

People

Peng Zhang

Professor

Abstract

Resources