“C Software Formal Verification”. 2024. WiPiEC Journal - Works in Progress in Embedded Computing Journal 10 (1): 4. https://doi.org/10.64552/wipiec.v10i1.53.