Fahim Arif2S. S. Automation of Software Modeling and Verification. International Journal of Computing and Related Technologies, v. 2, n. 1, p. 42-53, 4 jul. 2019.