Fleck, A., 		Silva, G., & 		Becker, L.
(2025).
 Formal Verification of Embedded System Source Code in an Unmanned Aerial Vehicle.
In <em>Companion Proceedings of the 15th Symposium on Computing Systems Engineering</em>, (pp. 45-48). Porto Alegre: SBC.
doi:10.5753/sbesc_estendido.2025.15314