Abstract
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 language | English |
|---|---|
| Title of host publication | Runtime Verification |
| Editors | Sarfraz Khurshid, Koushik Sen |
| Number of pages | 15 |
| Volume | 7186 LNCS |
| Place of Publication | Berlin |
| Publisher | Springer Verlag |
| Publication date | 23.05.2012 |
| Pages | 34-48 |
| ISBN (Print) | 978-3-642-29859-2 |
| ISBN (Electronic) | 978-3-642-29860-8 |
| DOIs | |
| Publication status | Published - 23.05.2012 |
| Event | 2nd International Conference on Runtime Verification - San Francisco, United States Duration: 27.09.2011 → 30.09.2011 Conference number: 89854 |