![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 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](https://www.pdfsearch.io/img/3855377a9af368f6483d28a661a1a75a.jpg) Date: 2013-12-12 08:46:27Real-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 3Add to Reading ListSource URL: www.cse.chalmers.seDownload Document from Source Website File Size: 219,55 KBShare Document on Facebook
|