Reachability Analysis of Self Modifying Code.

Tayssir Touili Xin Ye

Published in: ICECCS (2017)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
source code
incremental algorithms
state space
real time
machine learning
artificial intelligence
dynamic programming
least squares
markov chain
integrity constraints