Towards Automated Software Verification Using Model Checking Techniques | IEEE Conference Publication | IEEE Xplore