“Formal Methods for Verifying Safety-Critical Software Systems”. International Journal of Advanced Research in Computer Science & Technology(IJARCST) 5, no. 5 (September 1, 2022): 7105–7109. Accessed November 4, 2025. https://www.ijarcst.org/index.php/ijarcst/article/view/22.