Formal Methods for Verifying Safety-Critical Software Systems. (2022). International Journal of Advanced Research in Computer Science & Technology(IJARCST), 5(5), 7105-7109. https://doi.org/10.15662/IJARCST.2022.0505002