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.
Webpage of the project: https://vassal.fit.vut.cz
The VASSAL project seeks to enhance software safety and security by integrating model-based design with formal verification techniques for automated system analysis. The project’s focus spans multiple key areas:
By addressing these challenges, VASSAL aims to improve the reliability, security, and resilience of critical systems, particularly in automotive, aerospace, and other safety-critical applications.
TBA
The submission deadline will be announced in May 2025 and the submission site will be opened in June 2025.
We invite extended abstracts (1–2 pages, PDF) presenting ongoing research, recent results, or overviews of prior work within the workshop’s scope. Submissions may include work already published or currently under review.
We welcome submissions on all aspects of software verification, runtime analysis, and system safety, including but not limited to:Contributions addressing challenges in safety-critical systems (automotive, aerospace, medical devices) are especially encouraged.
Abstracts will be evaluated by a Program Committee (PC) composed of VASSAL project leaders and members of the Runtime Verification community.
There will be no formal proceedings, but presentations will be listed on the workshop website.
The workshop will take place on Monday, September 15, 2025, in Graz, Austria.