License
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07011.2
URN: urn:nbn:de:0030-drops-13699
URL: https://drops.dagstuhl.de/opus/volltexte/2008/1369/
Go to the corresponding Portal


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

07011 Executive Summary -- Runtime Verification

pdf-format:
07011.SWM.Paper.1369.pdf (0.10 MB)


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:DagSemProc.07011.2,
  author =	{Finkbeiner, Bernd and Havelund, Klaus and Rosu, Grigore and Sokolsky, Oleg},
  title =	{{07011 Executive Summary – Runtime Verification}},
  booktitle =	{Runtime Verification},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7011},
  editor =	{Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2008/1369},
  URN =		{urn:nbn:de:0030-drops-13699},
  doi =		{10.4230/DagSemProc.07011.2},
  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
Collection: 07011 - Runtime Verification
Issue Date: 2008
Date of publication: 06.02.2008


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI