Oliveira, Kevin, 		Rocha, Herbert, 		Urquiza, Marcelle, AND 		Nobre, Francisco.
" Open Technologies in Formal Verification: Transforming Code for Circuit Validation" <em>Proceedings of the Latin American Congress on Free Software and Open Technologies (Latinoware)</em> [Online], (22 October 2025)