US8001498B2 - Method and Apparatus for Memory Abstraction and Verification Using Same