Login / Signup

Scalable reachability analysis via automated dynamic netlist-based hint generation.

Jiazhao XuMark WilliamsHari MonyJason Baumgartner
Published in: Formal Methods Syst. Des. (2014)
Keyphrases
  • reachability analysis
  • model checking
  • timed automata
  • neural network
  • state space
  • dynamic environments
  • context sensitive
  • fully automated
  • search algorithm
  • expert systems
  • search space