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