1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems

The 1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems is happening on June 27 in Porto, Portugal! 


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.

The deadline for the submission of papers is March 28. 
Click here for more info.