2026-07-21T14:13:08Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1369 2024-03-06T11:07:14Z ddc:004 open_access

07011 Executive Summary – Runtime Verification Finkbeiner, Bernd Havelund, Klaus Rosu, Grigore Sokolsky, Oleg Program monitoring dynamic program analysis specification languages and logics concurrency errors program instrumentation aspect-oriented program 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 7011, Runtime Verification (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.07011.2 urn:nbn:de:0030-drops-13699 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07011.2 eng https://creativecommons.org/licenses/by/4.0/legalcode