Sign in

Reachability Analysis of Self Modifying Code.

Tayssir TouiliXin 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