Explainable Network Verification via Localized Subspecification
Speaker: Professor CHEN Haoxian
Assistant Professor, School of Information Science and Technology, ShanghaiTech University
Title:
Explainable Network Verification via Localized Subspecification