Sliding between model checking and runtime verification

TitleSliding between model checking and runtime verification
Publication TypeConference Paper
Year of Publication2012
AuthorsLeucker, M
Conference NameProceedings of the 3rd International Conference on Runtime Verification
SeriesLecture Notes in Computer Science
PublisherSpringer
Abstract

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

Refereed DesignationRefereed
Bibtex: 
@inproceedings {806,
	title = {Sliding between model checking and runtime verification},
	booktitle = {Proceedings of the 3rd International Conference on Runtime Verification},
	series = {Lecture Notes in Computer Science},
	year = {2012},
	publisher = {Springer},
	organization = {Springer},
	abstract = {We present a unified semantics for linear temporal logic cap- turing model checking and runtime verification. Moreover, we present the main ingredients of a corresponding monitor synthesis procedure.},
	author = {Martin Leucker}
}
PDF: