C Software Formal Verification. WiPiEC Journal - Works in Progress in Embedded Computing Journal, v. 10, n. 1, p. 4, 12 Mar.2024.