One Formalized Method of Virus Detection

As the virus has been spread without restriction, there needs an effective method to detect the virus. After analyzing the current detection methods of the virus, one method, which is on the basis of jump state, is proposed to analyze the malice behavior. From four aspects, such as the element definition, the simple regulation, the formalized description and the mapping-relation description, the formalized analysis method is provided. Based on the formalized method of status monitoring, the detection model of anti-virus is studied. Finally, the paper gives an example.