Oliveira, Kevin, Herbert Rocha, Marcelle Urquiza, and Francisco Nobre.
" Open Technologies in Formal Verification: Transforming Code for Circuit Validation." <em>Anais do XXII Congresso Latino-Americano de Software Livre e Tecnologias Abertas,
Foz do Iguaçu/PR, 2025</em>. SBC, 2025,  
pp.253-262.