Runtime verification of real-time applications using trace data and model requirements
My PhD thesis on monitoring and analyzing multicore systems through tracing and automated verification techniques to detect anomalies in real-time applications.
Tagged: Runtime Verification