Reachability Analysis of Self Modifying Code.

Tayssir Touili Xin Ye

Published in: Int. J. Found. Comput. Sci. (2023)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
state space
source code
low cost
context aware
computational complexity
random walk