Performance Evaluation of Software using Formal Methods. GJCST [Internet]. 2020 Jan. 15 [cited 2026 Jun. 11];20(C1):17-23. Available from: https://computerresearch.org/index.php/computer/article/view/1930