Login / Signup

Applying abstract acceleration to (co-)reachability analysis of reactive programs.

Peter SchrammelBertrand 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