Lukács, Dániel, Máté Tejfel, and Gergely Pongrácz. “Keeping P4 Switches Fast and Fault-Free through Automatic Verification”. Acta Cybernetica 24, no. 1 (May 21, 2019): 61–81. Accessed February 12, 2026. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4000.