LTL model checking of concurrent self-modifying code

DOI10.1016/J.JLAMP.2026.101150MaRDI QIDQ7320674zbMATH OpenFDO

Authors Tayssir Touili, Olzhas Zhangeldinov

Publication date 27 August 2026

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JLAMP.2026.101150

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• CARET analysis of multithreaded programs
• Computer Aided Verification
• CONCUR 2005 – Concurrency Theory
• Efficient malware detection using model-checking
• LTL model checking of self modifying code
• Model checking dynamic pushdown networks
• Model checking LTL with regular valuations for pushdown systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Verified abstract interpretation techniques for disassembling low-level self-modifying code

This page was built for publication: LTL model checking of concurrent self-modifying code

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7320674)