Reachability analysis for annotated code.

Mikolás Janota Radu Grigore Michal Moskal

Published in: SAVCBS (2007)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
source code
incremental algorithms
manually annotated
machine learning
state space
low cost
optimal policy