The RV series is an annual event that brings together researchers and practitioners from academia and industry who are interested in novel, lightweight formal methods for monitoring, analyzing, and guiding the runtime behavior of software and hardware systems. Runtime verification techniques play a vital role in ensuring system correctness, reliability, and robustness. They offer an additional layer of rigor and effectiveness compared to conventional testing, while remaining more practical than exhaustive formal verification.

This year’s edition features three co-located workshops - RVmeetsMBD, RVCase, and VASSAL - which will take place on September 15. We are also delighted to welcome an outstanding lineup of keynote speakers: Thomas Henzinger, Nils Jansen, Ankush Desai, and Daniela Micucci.