Login / Signup
Reachability Analysis of Self Modifying Code.
Tayssir Touili
Xin Ye
Published in:
CoRR (2019)
Keyphrases
</>
reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
source code
state space
artificial intelligence
search algorithm
temporal logic
real time
natural language