Fahim Arif2S. S. Automation of Software Modeling and Verification. IJCRT 2019, 2, 42-53.