CFP summary
RV is the leading conference devoted to runtime verification and related monitoring technologies. The 25th edition in Graz gathers researchers working on techniques for checking and analyzing systems during execution, including foundations, tools, and practical applications. The program includes regular research papers, short papers, tool demonstrations, benchmark papers, tutorials, workshops, and community recognition through best paper and test-of-time awards.
Topics
Runtime verification; monitoring and analysis of executing systems; regular papers, short papers, tool demonstration papers, benchmark papers; tutorials; workshops; formal methods for cyber-physical and software systems.