Acknowledgements

A course in a new topic such as runtime verification does not get created without interaction with other researchers in the field. I will specifically mention the following people (in alphabetic order) that in some shape or form have contributed with ideas and contents. I thank these people warmly.