Formal Methods for Verifying Safety-Critical Software Systems. IJARCST [Internet]. 2022 Sep. 1 [cited 2025 Nov. 4];5(5):7105-9. Available from: https://www.ijarcst.org/index.php/ijarcst/article/view/22