Creative Commons Attribution 4.0 license (CC BY 4.0)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/
Finkbeiner, Bernd ; Havelund, Klaus ; Rosu, Grigore ; Sokolsky, Oleg
07011 Executive Summary -- Runtime Verification
| pdf-format: |
|
Abstract
From January 2 to January 6, 2007, the Dagstuhl Seminar07011 "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 | |
| Seminar: | 07011 - Runtime Verification | |
| Issue date: | 2008 | |
| Date of publication: | 06.02.2008 |
