VERDI 2024

2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems
24 June 2024, Brisbane, Australia

Co-located with DSN 2024

Important dates

Invited speakers

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 also 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.