Sliding between model checking and runtime verification

Martin Leucker

doi:10.1007/978-3-642-35632-2_10

Sliding between model checking and runtime verification

Martin Leucker

Institut für Softwaretechnik und Programmiersprachen

23 Zitate (Scopus)

Abstract

We present a unified semantics for linear temporal logic capturing model checking and runtime verification. Moreover, we present the main ingredients of a corresponding monitor synthesis procedure.

Originalsprache	Englisch
Titel	Runtime Verification
Redakteure/-innen	Shaz Qadeer, Serdar Tasiran
Seitenumfang	6
Band	LNCS 7687
Erscheinungsort	Berlin
Herausgeber (Verlag)	Springer Verlag
Erscheinungsdatum	30.01.2013
Seiten	82-87
ISBN (Print)	978-3-642-35631-5
ISBN (elektronisch)	978-3-642-35632-2
DOIs	https://doi.org/10.1007/978-3-642-35632-2_10
Publikationsstatus	Veröffentlicht - 30.01.2013
Veranstaltung	3rd International Conference on Runtime Verification - Istanbul, Türkei Dauer: 25.09.2012 → 28.09.2012 Konferenznummer: 95093

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-642-35632-2_10

Weitere Links

https://www.scopus.com/pages/publications/84872851831

Zitieren

@inproceedings{0deeccdae6f247f7a39b10580bd10c53,

title = "Sliding between model checking and runtime verification",

abstract = "We present a unified semantics for linear temporal logic capturing model checking and runtime verification. Moreover, we present the main ingredients of a corresponding monitor synthesis procedure.",

author = "Martin Leucker",

year = "2013",

month = jan,

day = "30",

doi = "10.1007/978-3-642-35632-2\_10",

language = "English",

isbn = "978-3-642-35631-5",

volume = "LNCS 7687",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "82--87",

editor = "Shaz Qadeer and Tasiran, \{ Serdar\}",

booktitle = "Runtime Verification",

note = "3rd International Conference on Runtime Verification , RV 2012 ; Conference date: 25-09-2012 Through 28-09-2012",

}

TY - GEN

T1 - Sliding between model checking and runtime verification

AU - Leucker, Martin

N1 - Conference code: 95093

PY - 2013/1/30

Y1 - 2013/1/30

N2 - We present a unified semantics for linear temporal logic capturing model checking and runtime verification. Moreover, we present the main ingredients of a corresponding monitor synthesis procedure.

AB - We present a unified semantics for linear temporal logic capturing model checking and runtime verification. Moreover, we present the main ingredients of a corresponding monitor synthesis procedure.

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

U2 - 10.1007/978-3-642-35632-2_10

DO - 10.1007/978-3-642-35632-2_10

M3 - Conference contribution

SN - 978-3-642-35631-5

VL - LNCS 7687

T3 - Lecture Notes in Computer Science

SP - 82

EP - 87

BT - Runtime Verification

A2 - Qadeer, Shaz

A2 - Tasiran, Serdar

PB - Springer Verlag

CY - Berlin

T2 - 3rd International Conference on Runtime Verification

Y2 - 25 September 2012 through 28 September 2012

ER -

Sliding between model checking and runtime verification

Abstract

UN SDGs

Dokumente

Weitere Links

Fingerprint

Zitieren