Runtime Verification 26th International Conference, RV 2026, Kingston, ON, Canada, October 6–9, 2026, Proceedings

Sale price  $80.99 Regular price $89.99

Runtime Verification 26th International Conference, RV 2026, Kingston, ON, Canada, October 6–9, 2026, Proceedings

Sale price  $80.99 Regular price $89.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science

Runtime Verification

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

Sean Kauffman | Giulia Pedrielli

Computers / Computer Science

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. 


Publication Date: 20 December 2026
Publisher: Springer Nature Switzerland
Imprint: Springer
ISBN-13: 9783032411594
Format: Paperback softback
Page Count: 531

You may also like