bf4
Dragoș Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu
Abstract
Recent verification work has made advances in finding bugs in P4 programs before deployment, but it requires that the programmer specifies table rules that are possible at runtime[32, 24, 27]. This imposes a specification burden on the programmer, while at the same time failing to guarantee that bugs will not be inserted at runtime by faulty controllers.
Topics & Concepts
ProgrammerComputer scienceProgramming languageSoftware deploymentTable (database)Operating systemDebuggingSoftware engineeringEmbedded systemDistributed computingDatabaseSoftware Testing and Debugging TechniquesRadiation Effects in ElectronicsSoftware Reliability and Analysis Research