9Singh P K, Lakhotin A. Static Verification of wormand Virus behavior in Binary Exeeutables using ModelCheeking [C]. IEEESystem,ManandCybemetiesSoeiety.information Assuranee Workshop,2003 : 298-300.
10[9]SINGH P K,LAKHOTIN A.Static verification of wormand virus behavior in binary executables using model checking[C].In:information Assuranee Workshop,IEEE System,Manand Cybemeties Soeiety,2003-06:298-300
