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