Sign in

Transition-by-transition FSM traversal for reachability analysis in bounded model checking.

Minh D. NguyenDominik StoffelMarkus WedlerWolfgang Kunz
Published in: ICCAD (2005)
Keyphrases
  • reachability analysis
  • model checking
  • bounded model checking
  • tree structure
  • timed automata
  • machine learning
  • data structure
  • expert systems
  • temporal logic
  • finite state machines