How Discover a Malware using Model Checking