ROSA, Eduardo Castilho; CUNHA, Italo Tiago da; SILVA, Flávio de Oliveira.
A Simple Approach to Verify and Debug Data Plane Programs. In: WORKSHOP DE PESQUISA EXPERIMENTAL DA INTERNET DO FUTURO (WPEIF), 13. , 2022, Fortaleza.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2022
.
p. 47-52.
ISSN 2595-2692.
DOI: https://doi.org/10.5753/wpeif.2022.223586.