Tiramisu: Fast Multilayer Network Verification
summary
Introduces Tiramisu, a multilayer graph model and verification tool for L2/L3 control planes that models interacting protocols and common network features. Uses property-customized verification algorithms to check whether policies hold under failures, reporting verification times (≈0.08s for small and ≈2.2s for large networks) and speedups of 2–600× over prior tools.
AI-written summary · about
related talks
16mKatra: Realtime Verification for Multilayer Networks
01h 01mNetwork Verification: Past, Present, and Future
21mModular Control Plane Verification via Temporal Invariants
29mSynthesis of dependable and self-driving communication networks
23mVeriFlow: Verifying Network-Wide Invariants in Real Time
25mDataplane equivalence and its applications
12mMetha: Network Verifiers Need To Be Correct Too!
25mFormal Verification of a Software Defined Delay-Tolerant Network