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