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