Kirigami, the Verifiable Art of Network Cutting

Alberdingk, Thijm, Timothy; Beckett, Ryan; Gupta, Aarti; Walker, David

doi:10.1109/icnp55882.2022.9940333

Search citation statements

Order By: Relevance

Paper Sections

Select...

Verification Of Traditional Network1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2022

2024

Publication Types

Select...

Other4

Article2

Relationship

Self Cite0

Independent6

Authors

Journals

Cited by 7 publications

(1 citation statement)

References 41 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is further addressed by Metha [18] that tests the correctness of network verifiers compared to the behavior of real devices using fuzzing and combinatorial testing, and it uses delta debugging for fault localization. To scale network configuration verification further, Kirigami [161] and Timepiece [5] introduce modular control plane verification that allows parallel verification.…”

Section: Verification Of Traditional Networkmentioning

confidence: 99%

Quantitative Verification and Synthesis of Resilient Networks

Schou

View full text Add to dashboard Cite

General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.-Users may download and print one copy of any publication from the public portal for the purpose of private study or research. -You may not further distribute the material or use it for any profit-making activity or commercial gain -You may freely distribute the URL identifying the publication in the public portal -

show abstract

Section: Verification Of Traditional Networkmentioning

confidence: 99%