Testing Implementation Soundness of a WCET Analysis Tool

Reinhard Wilhelm, Markus Pister 0002, Gernot Gebhard, Daniel Kästner. Testing Implementation Soundness of a WCET Analysis Tool. In Jian-Jia Chen, editor, A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday. pages 5-17, Springer, 2021. [doi]

Abstract

Abstract is missing.