10 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.NI2024
Fine-grained Distributed Data Plane Verification with Intent-based Slicing
Kuan-Yen Chou, Santhosh Prabhu, Giri Subramanian +4
Data plane verification has grown into a powerful tool to ensure network correctness. However, existing methods with monolithic models have memory requirements tied to network size…
cs.NI2019★ 10 cited
Plankton: Scalable network configuration verification through model checking
Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand +2
Network configuration verification enables operators to ensure that the network will behave as intended, prior to deployment of their configurations. Although techniques ranging fr…