Work

P4AIG: Circuit-Level Verification of P4 Programs

Year: 2019

Type: conference-paper

Source: IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S)

DOI: 10.1109/dsn-s.2019.00016

Authors: Mohammad A. Noureddine, Amanda Hsu, Matthew Caesar, Fadi A. Zaraket, William H. Sanders

Institutions: University of Illinois Urbana-Champaign, American University of Beirut

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2969723053

FWCI: 0.515

Cites: 8

Cited by: 3

Related to: 10