“Performance Evaluation of Software using Formal Methods”, GJCST, vol. 20, no. C1, pp. 17–23, Jan. 2020, Accessed: Jun. 11, 2026. [Online]. Available: https://computerresearch.org/index.php/computer/article/view/1930