07011 Executive Summary – Runtime Verification

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

Thumbnail PDF


  • Filesize: 99 kB
  • 3 pages

Document Identifiers

Author Details

Bernd Finkbeiner
Klaus Havelund
Grigore Rosu
Oleg Sokolsky

Cite AsGet 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)


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.
  • Program monitoring
  • dynamic program analysis
  • specification languages and logics
  • concurrency errors
  • program instrumentation
  • aspect-oriented program


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
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