Data flow anomaly analysis based on model checking
CHEN Tao1,2,3,XU Jinchao1,2,NIU Jun1,2
1.Department of Computer Science and Engineering,Tongji University,Shanghai 201804,China 2.Tongji Branch,National Engineering & Technology Center of High Performance Computer,Shanghai 201804,China 3.Department of Computer Science and Engineering,Anhui University of Finance & Economics,Bengbu,Anhui 233030,China
CHEN Tao1,2,3,XU Jinchao1,2,NIU Jun1,2. Data flow anomaly analysis based on model checking[J]. Computer Engineering and Applications, 2011, 47(25): 1-4.