C Software Formal Verification. wipiec. 2024;10(1):4. doi:10.64552/wipiec.v10i1.53