Hardware-in-the-loop based WCET analysis with KLEE.

Marcus Lindner, Jorge Aparicio Rivera, Henrik Tjader, Per Lindgren, Johan Eriksson

Browse the full ETFA paper archive.