License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-13699
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1369/

Finkbeiner, Bernd ; Havelund, Klaus ; Rosu, Grigore ; Sokolsky, Oleg

07011 Executive Summary -- Runtime Verification

pdf-format:
Dokument 1.pdf (99 KB)


Abstract

From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 ‘Runtime Verification’ was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. Over the past few years, runtime verification has emerged as a focused subject in program analysis that bridges the gap between the complexity-haunted field of fully formal verification methods and the ad-hoc field of testing. Other terms for this subject are: program monitoring, dynamic program analysis, and runtime analysis. Thirty researchers participated in the seminar and discussed their recent work and recent trends in runtime verification.

BibTeX - Entry

@InProceedings{finkbeiner_et_al:DSP:2008:1369,
  author =	{Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky},
  title =	{07011 Executive Summary -- Runtime Verification},
  booktitle =	{Runtime Verification},
  year =	{2008},
  editor =	{Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky},
  number =	{07011},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1369},
  annote =	{Keywords: Program monitoring, dynamic program analysis, specification languages and logics, concurrency errors, program instrumentation, aspect-oriented program}
}

Keywords: Program monitoring, dynamic program analysis, specification languages and logics, concurrency errors, program instrumentation, aspect-oriented program
Seminar: 07011 - Runtime Verification
Issue date: 2008
Date of publication: 06.02.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI