Formal Methods for Verifying Safety-Critical Software Systems. IJARCST. 2022;5(5):7105-7109. doi:10.15662/IJARCST.2022.0505002