E. Rosa, I. Cunha, and F. Silva.
"A Simple Approach to Verify and Debug Data Plane Programs", in <em>Anais do XIII Workshop de Pesquisa Experimental da Internet do Futuro</em>, Fortaleza, 2022, pp. 47-52, doi: <a href="https://doi.org/10.5753/wpeif.2022.223586">https://doi.org/10.5753/wpeif.2022.223586</a>.