Rosa, Eduardo, Italo Tiago da Cunha, and Flávio de Oliveira Silva.
"A Simple Approach to Verify and Debug Data Plane Programs." <em>Anais do XIII Workshop de Pesquisa Experimental da Internet do Futuro,
Fortaleza, 2022</em>. SBC, 2022,  
pp.47-52.