Login / Signup

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL.

Franck CassezPablo González de AledoPeter Gjøl Jensen
Published in: Models, Algorithms, Logics and Tools (2017)
Keyphrases
  • model checking
  • efficient computation
  • database
  • real world
  • learning algorithm
  • non binary
  • artificial intelligence
  • hamming distance
  • multi valued
  • fixpoint
  • intermediate level
  • control program