Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution
Journal article, 2017

static symbolic execution

worst-case execution time (WCET) analysis

symbolic computation

Author

Jens Knoop

Laura Kovacs

Formal Methods

Jakob Zwirchmayr

Journal of Symbolic Computation

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

Vol. 80 101-124

Subject Categories

Computer Science

DOI

10.1016/j.jsc.2016.07.023

More information

Created

10/8/2017