07011 Executive Summary – Runtime Verification

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

doi:10.4230/DagSemProc.07011.2

Document

07011 Executive Summary – Runtime Verification

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

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 7011
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2008-02-06

PDF

File

PDF

DagSemProc.07011.2.pdf

Filesize: 99 kB
3 pages

Document Identifiers

DOI: 10.4230/DagSemProc.07011.2
URN: urn:nbn:de:0030-drops-13699

Subject Classification

Keywords

Program monitoring
dynamic program analysis
specification languages and logics
concurrency errors
program instrumentation
aspect-oriented program

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, and Oleg Sokolsky. 07011 Executive Summary – Runtime Verification. In Runtime Verification. Dagstuhl Seminar Proceedings, Volume 7011, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008) https://doi.org/10.4230/DagSemProc.07011.2

Author Details

Bernd Finkbeiner

Klaus Havelund

Grigore Rosu

Oleg Sokolsky

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail