A Memory Model Based on Three-Valued Matrix for Static Defect Detection | IEEE Conference Publication | IEEE Xplore