André Oliveira Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut. A Formally Verified WCET Estimation Tool.
14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain.
⟨10.4230/OASIcs.WCET.2014.11⟩.
⟨hal-01087194⟩