Runtime Verification

Explore the cutting-edge field of Runtime Verification with this comprehensive collection edited by Thao Dang, published by Springer International Publishing AG in 2022. This first edition, spanning 347 pages, presents the refereed proceedings from the 22nd International Conference on Runtime Verification, held in Tbilisi, Georgia, from September 28-30, 2022.

Inside, you will find 12 meticulously reviewed regular papers and 10 insightful short papers, selected from a competitive pool of 40 submissions. Each contribution offers valuable insights and advancements in the realm of runtime verification, making this book an essential resource for researchers, practitioners, and students interested in this dynamic area of study.

Enhance your understanding of runtime verification concepts and applications with this authoritative text, perfect for anyone looking to deepen their knowledge in the field.