Implementation of Pointer Logic for Automated Verification | IEEE Conference Publication | IEEE Xplore