Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Foundational verification of stateful P4 packet processing - MaRDI portal

Foundational verification of stateful P4 packet processing

From MaRDI portal

Publication:6643019

Jump to:navigation, search

DOI10.4230/LIPICS.ITP.2023.32MaRDI QIDQ6643019

Mengying Pan, Lennart Beringer, Qinshi Wang, Andrew W. Appel, Shengyi Wang, Ryan Doenges

Publication date: 26 November 2024

zbMATH Keywords

software defined networking stateful data plane programming verifiable P4

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Foundational verification of stateful P4 packet processing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643019)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6643019&oldid=40219100"