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
We invite presentation abstracts (1-2 pages) describing ongoing research, recent results, concrete use cases, or works already published in international venues. At least one author of the accepted presentation is expected to present their work at the workshop at Graz, Austria.
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.
Presentation abstracts (1-2 pages) must be written in English and submitted electronically in PDF format using the link below. The 1-2 page limit includes all text and figures, but excludes references.
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.