Runtime Verification

26th International Conference, RV 2026, Kingston, ON, Canada, October 6-9, 2026, Proceedings

By: Sean Kauffman (Editor), Giulia Pedrielli (Editor)

Write A Review

eText | 6 October 2026

At a Glance

Format
ePUB

eText

$139.00

or 4 interest-free payments of $34.75 with

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

This book constitutes the refereed proceedings of the 26th International Conference on Runtime Verification, RV 2026, held in Kingston, ON, Canada, during October 6-9, 2026.

The 9 regular papers, 5 short papers, 4 tool papers, 1 tutorial paper, 1 benchmark paper and 3 tool showcase papers included in this book were carefully reviewed and selected from 65 submissions. They focus on topics in Runtime Verification including online and offline monitoring of formal specifications, shielding intelligent systems, quantitative verdict domains, as well as related research into AI safety and out-of-distribution detection. Runtime verification techniques have gained increasing acceptance as means to achieve system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.