RV’25 hosts three co-located workshops on September 15, 2025:

• RVmeetsMBD
• RVCase
• VASSAL

Model-Based Diagnosis (MBD) focuses on identifying the root causes of system failures when deviations from expected behavior occur. Going beyond the detection of incorrect behavior, MBD extends and complements Runtime Verification (RV) through techniques for localizing faults and determining their possible nature.

This workshop investigates the challenges and open research questions at the intersection of RV and MBD. The topics include formal models, theoretical foundations, and computational approaches specifically designed for integrated RV and diagnosis tasks, covering logic-based, temporal, discrete-event, qualitative, continuous, hybrid, and probabilistic methods. The workshop will also highlight applications in areas such as resilient cyber-physical systems, digital twins, and explainable AI.

The VASSAL (Verification and Analysis for Safety and Security of Applications in Life)  Workshop is a dedicated forum organized within the Runtime Verification 2025 conference taking place in Graz, Austria. The forum will bring together researchers from the EU Twinning funded VASSAL project and the broader runtime verification community. The VASSAL project is a collaboration between Brno University of Technology (Czechia), CEA List (France), and TU Wien (Austria), with associated partner Honeywell (Czechia). The project focuses on advancing the safety, security, and resilience of software systems by integrating model-based design, formal methods, and runtime verification techniques. The workshop objective is to showcase the project’s recent scientific contributions and encourage discussions on emerging issues and research directions in safety of verification and analysis. 
The workshop program will feature invited talks from leading experts, presentations from VASSAL researchers, and selected contributions from the runtime verification community. Topics of interest include runtime monitoring, automated synthesis, decision procedures, specification and verification of hyperproperties, dynamic analysis for concurrency, and AI-driven verification techniques. 
The goal of the VASSAL Workshop is to promote communication and interaction between the formal methods and runtime verification communities, encourage teamwork in research, and investigate the practical application of verification technologies in industrial sectors like aerospace and automotive. The workshop will offer a friendly, open environment for exchanging ideas and discovering potential collaborations.

Despite the growing popularity of Runtime Verification (RV) in both safety-critical and non-safety-critical applications, few publicly available examples exist of formally-specified systems for RV. Published examples of system specifications can provide a shared vehicle for researchers and
practitioners to discuss the applicability of their ideas, and can assist in comparing the viability of approaches. The Runtime Verification Case-Studies Workshop (RVCase) is a forum to share and discuss sample applications and their specifications that have been collected by the RV community. The goal of the workshop is to identify specifications in various formalisms for a range of systems. The workshop is open to submissions from both researchers and practitioners and aims to include as many examples of systems and their specifications as possible.