A PVS Based Framework for Validating Compiler Optimizations | IEEE Conference Publication | IEEE Xplore