Touili, Tayssir; Ye, Xin Reachability analysis of self modifying code. (English) Zbl 07729637 Int. J. Found. Comput. Sci. 34, No. 5, 507-536 (2023). MSC: 68Qxx 68-XX 68Nxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Touili, Tayssir; Ye, Xin LTL model checking of self modifying code. (English) Zbl 07683087 Form. Methods Syst. Des. 60, No. 2, 195-227 (2022). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL