“C Software Formal Verification”. WiPiEC Journal - Works in Progress in Embedded Computing Journal 10, no. 1 (March 12, 2024): 4. Accessed November 4, 2026. https://wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/53.