Runtime verification for linear-time temporal logic

Martin Leucker

doi:10.1007/978-3-319-56841-6_5

Runtime verification for linear-time temporal logic

Martin Leucker^*

^*Corresponding author for this work

Institute of Software Engineering and Programming Languages

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 language	English
Title of host publication	SETSS 2016: Engineering Trustworthy Software Systems
Editors	Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Number of pages	44
Volume	10215 LNCS
Publisher	Springer, Cham
Publication date	06.04.2017
Pages	151-194
ISBN (Print)	978-3-319-56840-9
ISBN (Electronic)	978-3-319-56841-6
DOIs	https://doi.org/10.1007/978-3-319-56841-6_5
Publication status	Published - 06.04.2017
Event	2nd International School on Engineering Trustworthy Software Systems - Chongqing, China Duration: 28.03.2016 → 02.04.2016 Conference number: 191419

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-3-319-56841-6_5

Cite this

@inproceedings{20f452f6c4f7428aa4beea95703568d8,

title = "Runtime verification for linear-time temporal logic",

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.",

author = "Martin Leucker",

note = "Publisher Copyright: {\textcopyright} 2017, Springer International Publishing AG. Copyright: Copyright 2017 Elsevier B.V., All rights reserved.; 2nd International School on Engineering Trustworthy Software Systems<br/>, SETSS 2016 ; Conference date: 28-03-2016 Through 02-04-2016",

year = "2017",

month = apr,

day = "6",

doi = "10.1007/978-3-319-56841-6\_5",

language = "English",

isbn = "978-3-319-56840-9",

volume = "10215 LNCS",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Cham",

pages = "151--194",

editor = "\{P. Bowen\}, \{Jonathan \} and Zhiming Liu and Zhang, \{Zili \}",

booktitle = "SETSS 2016: Engineering Trustworthy Software Systems",

}

Leucker, M 2017, Runtime verification for linear-time temporal logic. in J P. Bowen, Z Liu & Z Zhang (eds), SETSS 2016: Engineering Trustworthy Software Systems. vol. 10215 LNCS, Lecture Notes in Computer Science, vol. 10215 LNCS, Springer, Cham, pp. 151-194, 2nd International School on Engineering Trustworthy Software Systems
, Chongqing, China, 28.03.16. https://doi.org/10.1007/978-3-319-56841-6_5

Runtime verification for linear-time temporal logic. / Leucker, Martin.
SETSS 2016: Engineering Trustworthy Software Systems. ed. / Jonathan P. Bowen; Zhiming Liu; Zili Zhang. Vol. 10215 LNCS Springer, Cham, 2017. p. 151-194 (Lecture Notes in Computer Science; Vol. 10215 LNCS).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

T1 - Runtime verification for linear-time temporal logic

AU - Leucker, Martin

N1 - Conference code: 191419

PY - 2017/4/6

Y1 - 2017/4/6

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85018368337

U2 - 10.1007/978-3-319-56841-6_5

DO - 10.1007/978-3-319-56841-6_5

M3 - Conference contribution

SN - 978-3-319-56840-9

VL - 10215 LNCS

T3 - Lecture Notes in Computer Science

SP - 151

EP - 194

BT - SETSS 2016: Engineering Trustworthy Software Systems

A2 - P. Bowen, Jonathan

A2 - Liu, Zhiming

A2 - Zhang, Zili

PB - Springer, Cham

T2 - 2nd International School on Engineering Trustworthy Software Systems<br/>

Y2 - 28 March 2016 through 2 April 2016

ER -

Runtime verification for linear-time temporal logic

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this