Contacts

Run-time verification Description Runtime verification is concerned with monitoring and analysis of software or hardware system executions. The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, runtime symbolic analysis, trace analysis, log file analysis, etc. A running system can be abstractly regarded as a generator of execution traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g., checked against formal specifications, analyzed with special algorithms, visualized. The student is supposed to focus on software run-time verification techniques and investigate the state of the art. Run-time verification domains also should be presented. The student should understand the need of run-time verification and be able to interpret in which domains it is applicable and why is important for self-adaptiveness