Springer Nature Switzerland AG
Runtime Verification: 26th International Conference, RV 2026, Kingston, ON, Canada, October 6–9, 2026, Proceedings
Runtime Verification: 26th International Conference, RV 2026, Kingston, ON, Canada, October 6–9, 2026, Proceedings
💎 Earn 399 Points (£3.99) on this item.
We can order this item for you. Delivery usually takes about 4 to 6 weeks.
This item is not held in our immediate stock. We will order it for you after checkout.
Estimated delivery: About 4 to 6 weeks
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £3.89. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about Runtime Verification: 26th International Conference, RV 2026, Kingston, ON, Canada, October 6–9, 2026, Proceedings
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: 7 October 2026
- Page count: 542
- Publisher: Springer Nature Switzerland AG
- Format: Paperback
- ISBN-13: 9783032411594
UK and International shipping information
UK and International shipping information
We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.
