Toward Highly Reliable Programmable Data Planes: Verification of P4 Code Generation
- Györgyi, Csaba
- Laki, Sandor
- Schmid, Stefan
Top
Projects
- Fast and Quantitative What-if Analysis for Dependable Communication Networks (WHATIF)
- Dependable Network Dataplane for the Cloud
Top
Shortfacts
Category |
Paper in Conference Proceedings or in Workshop Proceedings (Paper) |
Event Title |
9th IEEE International Conference on Network Softwarization |
Divisions |
Communication Technologies Theory and Applications of Algorithms |
Subjects |
Theoretische Informatik |
Event Location |
Madrid, Spain |
Event Type |
Conference |
Event Dates |
19–23 June 2023 |
Date |
June 2023 |
Export |
Top
