Towards Verification of UML Class Models using Formal Specification Methods: A Review. GJCST. 2023;23(H1):1-7. Accessed February 3, 2026. https://testing.computerresearch.org/index.php/computer/article/view/102296