1. Cisco Catalyst 9300 Programmable Switches. https://www.cisco.com/c/en/us/products/switches/catalyst-9300-series-switches/index.html. Accessed: May November. Cisco Catalyst 9300 Programmable Switches. https://www.cisco.com/c/en/us/products/switches/catalyst-9300-series-switches/index.html. Accessed: May November.
2. Uncovering Bugs in P4 Programs with Assertion-based Verification