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. © 2012 Springer-Verlag.
Cite
CITATION STYLE
Leucker, M. (2012). Teaching runtime verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7186 LNCS, pp. 34–48). https://doi.org/10.1007/978-3-642-29860-8_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
