Runtime verification for multicore SoC with high-quality trace data

Rico Backasch, Christian Hochberger, Alexander Weiss, Martin Leucker, Richard Lasslop. Runtime verification for multicore SoC with high-quality trace data. ACM Trans. Design Autom. Electr. Syst., 18(2):18, 2013. [doi]

Abstract

Abstract is missing.