Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking | IEEE Conference Publication | IEEE Xplore