VERDI 2023

1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems
27 June 2023, Porto, Portugal

Co-located with DSN 2023

Important dates (extended)

Invited speakers


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.


logo logo logo logo logo logo

This event has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 876852 (project VALU3S). The JU receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Czech Republic, Germany, Ireland, Italy, Portugal, Spain, Sweden, Turkey.

Disclaimer: the ECSEL 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 Daniel Seßler on Unsplash