Runtime verification is concerned with the monitoring and analysis of the runtime behavior of software, hardware, and cyber-physical systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, cloud and IoT systems, control systems, health management and diagnosis, and system security and privacy.

The topics of the conference include, but are not limited to:

    specification languages for monitoring
    formal requirements elicitation, specification mining, and machine learning over runtime traces
    monitor construction techniques
    program instrumentation
    combination of static and dynamic analysis
    dynamic type checking and assurance cases
    monitoring techniques for concurrent and distributed systems
    runtime checking of privacy and security policies
    metrics and statistical information gathering
    fault localization, containment, resilience, recovery and repair
    monitoring of systems with learning-enabled components, including reinforcement learning
    runtime verification for autonomy and runtime assurance

New areas we are soliciting this year include:

    integrating the results of runtime monitoring with downstream tasks, especially metareasoning, control, fault recovery, and design modifications
    case studies of using RV in industrial settings, with lessons learned and challenges faced

Application areas of runtime verification include cyber-physical systems, autonomous systems, safety/mission critical systems, enterprise and systems software, cloud systems, reactive control systems, health management and diagnosis systems, and system security and privacy.