Analysis of DRAM Vulnerability Using Computation Tree Logic | IEEE Conference Publication | IEEE Xplore