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^*

^*Korrespondierende/r Autor/-in für diese Arbeit

Institut für Softwaretechnik und Programmiersprachen

6 Zitate (Scopus)

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.

Originalsprache	Englisch
Titel	SETSS 2016: Engineering Trustworthy Software Systems
Redakteure/-innen	Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Seitenumfang	44
Band	10215 LNCS
Herausgeber (Verlag)	Springer, Cham
Erscheinungsdatum	06.04.2017
Seiten	151-194
ISBN (Print)	978-3-319-56840-9
ISBN (elektronisch)	978-3-319-56841-6
DOIs	https://doi.org/10.1007/978-3-319-56841-6_5
Publikationsstatus	Veröffentlicht - 06.04.2017
Veranstaltung	2nd International School on Engineering Trustworthy Software Systems - Chongqing, China Dauer: 28.03.2016 → 02.04.2016 Konferenznummer: 191419

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 9 – Industrie, Innovation und Infrastruktur

Dokumente

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

Weitere Links

www.scopus.com

Zitieren

@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 (Hrsg.), SETSS 2016: Engineering Trustworthy Software Systems. Bd. 10215 LNCS, Lecture Notes in Computer Science, Bd. 10215 LNCS, Springer, Cham, S. 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. Hrsg. / Jonathan P. Bowen; Zhiming Liu; Zili Zhang. Band 10215 LNCS Springer, Cham, 2017. S. 151-194 (Lecture Notes in Computer Science; Band 10215 LNCS).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

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

Dokumente

Weitere Links

Fingerprint

Zitieren