LTL Model-Checking for Malware Detection

DOI10.1007/978-3-642-36742-7_29zbMath1381.68182OpenAlexW131049964MaRDI QIDQ5326341

Tayssir Touili, Fu Song

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_29

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

On temporal logics with data variable quantifications: decidability and complexity ⋮ LTL model checking of self modifying code ⋮ Branching Temporal Logic of Calls and Returns for Pushdown Systems ⋮ Reachability Analysis of Self Modifying Code ⋮ Multi-matching nested relations

This page was built for publication: LTL Model-Checking for Malware Detection