@article{Kruti P. Shah_Emanuel S. Grant_2023, title={Towards Verification of UML Class Models using Formal Specification Methods: A Review}, volume={23}, url={https://computerresearch.org/index.php/computer/article/view/102296}, abstractNote={Abstract In today s world many elements of our lives are being affected by software and for that we are in greater need of high-quality software The Unified Modeling Language UML is considered the de facto standard for object-oriented software model development UML class diagram plays an important role in the design and specification of software systems A class diagram provides a static description of system components }, number={H1}, journal={Global Journal of Computer Science and Technology}, author={Kruti P. Shah and Emanuel S. Grant}, year={2023}, month={Apr.}, pages={1–7} }