“C Software Formal Verification”, wipiec, vol. 10, no. 1, p. 4, Mar. 2024, doi: 10.64552/wipiec.v10i1.53.