Aug 3, 2024 · In this paper, we introduce Medusa, a novel verifier that efficiently analyzes large data plane models using parallel processing on multi-core CPUs.

In this paper, we introduce Medusa, a novel verifier that efficiently analyzes large data plane models using parallel process- ing on multi-core ...

Aug 3, 2024 · Packet processing and data plane program verification: A survey with tools, techniques, and challenges

Aug 6, 2024 · The parallelization is accomplished by execut- ing multiple instances of BMC independently from different seed states. These seed states are ...

Nov 15, 2022 · To scale up DPV, some studies propose to divide DPV into different packet spaces [17, 40] or network partitions [16] to achieve parallel ...

Libra [90] partitions the IP-prefix based data plane into disjoint packet spaces to achieve parallel verification ... scale up. DPV using parallelization and ...

Duration: 9:41
Posted: Sep 7, 2023

In this paper, we systematically tackle the important prob- lem of how to scale the data plane verification to be appli- cable in real, large networks. Not ...

Publication type: Conference Proceeding · Language: English · Authors: Wen, Sisi; Abhashkumar, Anubhavnidhi; Zhao, Chenyang; Jiang, Weirong ...view all.

In this paper, we propose a novel atomic predicates based data plane properties verification method using parallel com- puting to deal with the time ...