In this paper and its accompanying tutorial, we discuss the topic of teaching runtime verification. The aim of the tutorial is twofold. On the one hand, a condensed version of a course currently given by the author will be given within the available tutorial time, giving an idea about the topics of the course. On the other hand, the experience gained by giving the course should also be presented and discussed with the audience. The overall goal is to simplify the work of colleagues developing standard and well accepted courses in the field of runtime verification.

Original languageEnglish
Title of host publicationRuntime Verification
EditorsSarfraz Khurshid, Koushik Sen
Number of pages15
Volume 7186 LNCS
Place of PublicationBerlin
PublisherSpringer Verlag
Publication date23.05.2012
ISBN (Print)978-3-642-29859-2
ISBN (Electronic)978-3-642-29860-8
Publication statusPublished - 23.05.2012
Event2nd International Conference on Runtime Verification - San Francisco, United States
Duration: 27.09.201130.09.2011
Conference number: 89854


Dive into the research topics of 'Teaching Runtime Verification'. Together they form a unique fingerprint.

Cite this