Login / Signup

Efficient Timed Reachability Analysis Using Clock Difference Diagrams.

Gerd BehrmannKim Guldstrand LarsenJustin PearsonCarsten WeiseWang Yi
Published in: CAV (1999)
Keyphrases
  • reachability analysis
  • timed automata
  • high speed
  • model checking
  • power consumption
  • objective function