Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution
Artikel i vetenskaplig tidskrift, 2017

static symbolic execution

worst-case execution time (WCET) analysis

symbolic computation

Författare

Jens Knoop

Laura Kovacs

Formella metoder

Jakob Zwirchmayr

Journal of Symbolic Computation

0747-7171 (ISSN) 1095-855X (eISSN)

Vol. 80 101-124

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1016/j.jsc.2016.07.023