This book provides a hands-on introduction to runtime verification, guiding readers from zero to practical knowledge required to consider and apply it in industry. It covers basic programming skills, object-oriented paradigm, aspect-oriented programming, automata, regular expressions, and linear time temporal logic, and is written for gra...