@inproceedings{11eab43a84b44ccfbffd331e77243e45,
title = "P4AIG: Circuit-Level Verification of P4 Programs",
abstract = "In this work, we set out to develop P4 AIG, a tool for the static verification of programmable data planes using sequential circuit analysis. P4 AIG targets P4 programs by treating them as hardware pipelines rather than software programs. P4 AIG allows for the circuit-level treatment of P4 programs, a feature not available for traditional software verification techniques. We believe that P4 AIG will exploit the nature of P4 programs to achieve higher scalability in verification.",
keywords = "data plane programs, software defined networks, verification",
author = "Noureddine, {Mohammad A.} and Amanda Hsu and Matthew Caesar and Zaraket, {Fadi A.} and Sanders, {William H.}",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2019 ; Conference date: 24-06-2019 Through 27-06-2019",
year = "2019",
month = jun,
doi = "10.1109/DSN-S.2019.00016",
language = "English (US)",
series = "Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "21--22",
booktitle = "Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2019",
address = "United States",
}