Component-based error detection of P4 programs

Tóth, Gabriella [Tóth, Gabriella (Informatikai tudo...), author] ELTE IK Department of Programming Languages And... (ELTE / ELU FoI / ICS); ELTE IK PhD Informatika Doktori Iskola (ELTE / ELU FoI); Dr. Tejfel, Máté [Tejfel, Máté (Formális módszerek), author] ELTE IK Department of Programming Languages And... (ELTE / ELU FoI / ICS)

English Scientific Conference paper (Conference paper)
    Identifiers
    • MTMT: 31381319
    P4 is a domain-specific language to develop the packet processing of network devices. These programs can easily hide errors, therefore we give a solution to analyze them and detect predefined errors in them. This paper shows the idea, which works with the P4 code as a set of components and processes them one by one, while calculating their pre- and post-conditions. This method does not only detect errors between the components and their connections, but it is capable to reveal errors, which are hidden in the middle of a component. The paper introduces the method and shows its calculation in an example.
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2021-12-07 02:06