Runtime verification for linear-time temporal logic

Martin Leucker*

*Corresponding author for this work

Abstract

In this paper and its accompanying tutorial, we discuss the topic of runtime verification for linear-time temporal logic specifications. We recall the idea of runtime verification, give ideas about specification languages for runtime verification and develop a solid theory for linear-time temporal logic. Concepts like monitors, impartiality, and anticipation are explained based on this logic.

Original languageEnglish
Title of host publicationSETSS 2016: Engineering Trustworthy Software Systems
EditorsJonathan P. Bowen, Zhiming Liu, Zili Zhang
Number of pages44
Volume10215 LNCS
PublisherSpringer, Cham
Publication date06.04.2017
Pages151-194
ISBN (Print)978-3-319-56840-9
ISBN (Electronic)978-3-319-56841-6
DOIs
Publication statusPublished - 06.04.2017
Event2nd International School on Engineering Trustworthy Software Systems
- Chongqing, China
Duration: 28.03.201602.04.2016
Conference number: 191419

Fingerprint

Dive into the research topics of 'Runtime verification for linear-time temporal logic'. Together they form a unique fingerprint.

Cite this