Login / Signup

Improved reachability analysis of large finite state machines.

Gianpiero CabodiPaolo CamuratiStefano Quer
Published in: ICCAD (1996)
Keyphrases
  • finite state machines
  • reachability analysis
  • model checking
  • timed automata
  • markov decision processes
  • finite state automata
  • incremental algorithms
  • real time
  • expert systems