VERDI 2025

3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems
23 June 2025, Naples, Italy

Co-located with DSN 2025

Important dates

About VERDI

The VERDI workshop aims at serving as a discussion forum focused on the area of V&V as a means to guarantee dependability of complex, potentially automated/autonomous CPS. This workshop covers all aspects related to the dependability evaluation (with special focus on safety and security) of safety-critical CPS using techniques such as fault/attack-injection, runtime verification, formal verification, semi-formal analysis, simulation, and testing.

Previous edition

Support

logo logo logo logo logo logo logo

This event is partly supported by the AGRARSENSE project that has received funding from the Chips Joint Undertaking (JU) under Grant Agreement No. 101095835 (project AGRARSENSE). The JU receives support from the European Union’s Horizon 2020 research and innovation programme and Sweden, Spain, France, Ireland, Austria, the Netherlands, Italy, Poland, Germany, Norway, Finland, Latvia, Czechia, Türkiye. VERDI is partially supported by the Route 25 project (ref. TRB/2022/00061 - C645463824-00000063) funded by NextGenerationEU, within the Recovery and Resilience Plan (RRP).

Disclaimer: The Chips JU and the European Commission are not responsible for the content on this website or any use that may be made of the information it contains.

Photo by Grafi Jeremiah on Unsplash

Edit the content of this page here.