Runtime Verification

Discover the cutting-edge research in Runtime Verification, authored by Lu Feng and published by Springer Nature Switzerland AG. This comprehensive volume presents the refereed proceedings of the 21st International Conference on Runtime Verification (RV 2021), which took place virtually from October 11-14, 2021. With a total of 331 pages, this first edition features 11 regular papers and 7 short/tool/benchmark papers, all meticulously reviewed and selected from a competitive pool of 40 submissions. Dive into the latest advancements and methodologies in runtime verification, making this book an essential resource for researchers and practitioners in the field. Enhance your understanding of the subject and stay updated with the latest trends and technologies in runtime verification.