Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology
Efficient Malware Detection Using Model-Checking