Fahim Arif2S.S. 2019. Automation of Software Modeling and Verification. International Journal of Computing and Related Technologies. 2, 1 (Jul. 2019), 42-53.