A Method for Detecting Defects in Source Codes Using Model Checking Techniques | IEEE Conference Publication | IEEE Xplore