“Performance Evaluation of Software Using Formal Methods”. Global Journal of Computer Science and Technology 20, no. C1 (January 15, 2020): 17–23. Accessed June 11, 2026. https://computerresearch.org/index.php/computer/article/view/1930.