Performance Evaluation of Software using Formal Methods. GJCST. 2020;20(C1):17-23. Accessed June 11, 2026. https://computerresearch.org/index.php/computer/article/view/1930