VERDI 2024
2nd International Workshop on Verification & Validation of Dependable Cyber-Physical SystemsBrisbane, Albania
Homepage: https://verdi-workshop.github.io/2024/
Call for Papers: https://verdi-workshop.github.io/2024/call-for-papers/ Deadline: 22, Mar, 2024
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.
Co-located with DSN 2024
Short link for this page: www.cister.isep.pt/events/2159