Login / Signup

Timed Automata for Modelling Caches and Pipelines.

Franck CassezPablo González de Aledo Marugán
Published in: MARS (2015)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • theorem proving
  • real time systems
  • data sets
  • artificial neural networks
  • dynamic programming
  • first order logic
  • temporal logic
  • machine learning