Login / Signup

prod 3.2: An Advanced Tool for Efficient Reachability Analysis.

Kimmo VarpaaniemiKeijo HeljankoJohan Lilius
Published in: CAV (1997)
Keyphrases
  • reachability analysis
  • computationally expensive
  • neural network
  • expert systems
  • state space
  • cost effective
  • model checking