Techniques To Improve Automated Software Verification