Overview for non-classical slicing technique and its application in formal verification
GAO Xin-yan1,WU Jin-zhao1,YAN Wei1,ZHOU Ning2
1.Chengdu Institute of Computer Applications,CAS,Chengdu 610041,China 2.School of Mathematics,Physics and Software Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China
GAO Xin-yan1,WU Jin-zhao1,YAN Wei1,ZHOU Ning2. Overview for non-classical slicing technique and its application in formal verification[J]. Computer Engineering and Applications, 2007, 43(36): 43-47.