TY  - RPRT
TI  - How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics
AU  - Julien Henry
AU  - Mihail Asavoae
AU  - David Monniaux
AU  - Claire Maïza
PY  - 2014
UR  - https://arxiv.org/abs/1405.7962
ID  - 1405.7962
ER  -