LTL Model-Checking for Malware Detection
No abstract available.
Related papers
- Model-Checking for Android Malware Detection APLAS 2014
- Pushdown Model Checking for Malware Detection TACAS 2012
- A semantics-based approach to malware detection TOPLAS 2008
- A semantics-based approach to malware detection POPL 2007
- Model Checking LTL Using Net Unforldings CAV 1998
- LTL Generalized Model Checking Revisited VMCAI 2009
- Bounded Model Checking for Past LTL TACAS 2003
- Semi-external LTL Model Checking CAV 2008