The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The vo

This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent ye

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2