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.

OriginalspracheEnglisch
TitelRuntime Verification
Redakteure/-innenSarfraz Khurshid, Koushik Sen
Seitenumfang15
Band 7186 LNCS
ErscheinungsortBerlin
Herausgeber (Verlag)Springer Verlag
Erscheinungsdatum23.05.2012
Seiten34-48
ISBN (Print)978-3-642-29859-2
ISBN (elektronisch)978-3-642-29860-8
DOIs
PublikationsstatusVeröffentlicht - 23.05.2012
Veranstaltung2nd International Conference on Runtime Verification - San Francisco, USA / Vereinigte Staaten
Dauer: 27.09.201130.09.2011
Konferenznummer: 89854

Fingerprint

Untersuchen Sie die Forschungsthemen von „Teaching Runtime Verification“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren