BCARET Model Checking for Malware Detection.

Huu-Vu Nguyen, Tayssir Touili

Browse the full ICTAC paper archive.