This book constitutes the refereed proceedings of the 18th International Conference on Runtime Ve...

This book provides a hands-on introduction to runtime verification which guides the reader from z...