07011 Executive Summary -- Runtime Verification

From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 A¢â‚¬EœRuntime VerificationA¢â‚¬â„¢ 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.