International Conference on Runtime Verification (RV)

The International Conference on Runtime Verification (RV) is a gathering where researchers and experts discuss techniques for ensuring that software and systems behave correctly during their operation. It focuses on methods to monitor and analyze real-time execution to detect errors or unexpected behavior as they happen. The aim is to improve the reliability, safety, and security of complex systems, such as those in transportation, healthcare, and critical infrastructure, by developing tools and approaches for ongoing verification during their runtime.