Sliding between model checking and runtime verification


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.

Original languageEnglish
Title of host publication Runtime Verification
EditorsShaz Qadeer, Serdar Tasiran
Number of pages6
VolumeLNCS 7687
Place of PublicationBerlin
PublisherSpringer Verlag
Publication date30.01.2013
ISBN (Print)978-3-642-35631-5
ISBN (Electronic)978-3-642-35632-2
Publication statusPublished - 30.01.2013
Event3rd International Conference on Runtime Verification - Istanbul, Turkey
Duration: 25.09.201228.09.2012
Conference number: 95093


Dive into the research topics of 'Sliding between model checking and runtime verification'. Together they form a unique fingerprint.

Cite this