Back to Results
First PageMeta Content
Real-time computing / Worst-case execution time / Symbolic execution / KeY / Program slicing / Analysis of algorithms / Model checking / Control flow / Abstract interpretation / Theoretical computer science / Programming language theory / Computing


The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3
Add to Reading List

Document Date: 2013-12-12 08:46:27

Open Document

File Size: 219,55 KB

Share Result on Facebook

Company

P. Software / Creative Commons / Dagstuhl Publishing / /

Country

Germany / Austria / Sweden / /

/

Facility

Vienna University of Technology / knoop|jakob]@complang.tuwien.ac.at Chalmers University of Technology / /

IndustryTerm

larger applications / present new applications / computing / /

Organization

Vienna University of Technology / Chalmers University of Technology / /

Person

J. Knoop / C. Cadar / V / Mary Lou / Work Symbolic / A. Biere / J. Zwirchmayr / L. Kovács / R. Brummayer / Jakob Zwirchmayr / Laura Kovács / Jens Knoop / /

Product

OpenAccess Series / TuBound / WCET / /

TVStation

WCET / /

Technology

http / caching / /

SocialTag