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 (SSIF 2011)
Datavetenskap (datalogi)
DOI
10.1016/j.jsc.2016.07.023