Performance Evaluation of Software using Formal Methods. (2020). Global Journal of Computer Science and Technology, 20(C1), 17-23. https://computerresearch.org/index.php/computer/article/view/1930