Towards Runtime Verification of Programmable Switches
2020·Arxiv