Fahim Arif2Sidra Sultana1. 2019. “Automation of Software Modeling and Verification”. International Journal of Computing and Related Technologies 2 (1), 42-53. http://ijcrt.smiu.edu.pk/ijcrt/index.php/smiu/article/view/49.