@incollection{bartocci:hal-01762297, TITLE = {{Introduction to Runtime Verification}}, AUTHOR = {Bartocci, Ezio and Falcone, Yli{\`e}s and Francalanza, Adrian and Reger, Giles}, URL = {https://inria.hal.science/hal-01762297}, BOOKTITLE = {{Lectures on Runtime Verification. Introductory and Advanced Topics}}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science }, VOLUME = {10457}, PAGES = {1-33}, YEAR = {2018}, MONTH = Feb, DOI = {10.1007/978-3-319-75632-5\_1}, PDF = {https://inria.hal.science/hal-01762297/file/book-chapter-introduction-to-RV.pdf}, HAL_ID = {hal-01762297}, HAL_VERSION = {v1}, }