Login / Signup
Applying abstract acceleration to (co-)reachability analysis of reactive programs.
Peter Schrammel
Bertrand Jeannet
Published in:
J. Symb. Comput. (2012)
Keyphrases
</>
reachability analysis
model checking
markov decision processes
timed automata
low level
incremental algorithms
real time
relational databases
higher level