Runtime Verification

RV

Events 2001 - 2009


Background

The Runtime verification workshop series was initiated in 2001, and workshops have occurred each year since then. The objective of these workshops is to bring scientists from both academia and industry together to debate on how to monitor, analyze and guide the execution of programs. The ultimate longer term goal is to investigate the use of lightweight formal methods applied during the execution of programs from the following two points of view. On the one hand, whether runtime application of formal methods is a viable complement to the traditional methods proving programs correct before their execution, such as model checking and theorem proving. On the other hand, whether formality improves traditional ad-hoc monitoring techniques used in performance monitoring, distributed debugging, etc. Dynamic program monitoring and analysis can occur during testing or during operation.

Future Event

RV 2009

To be announced.



Past Events

RV'01 First Workshop on Runtime Verification, Paris, France, July 2001
RV'02 Second Workshop on Runtime Verification, Copenhagen, Denmark, July 2002
RV'03 Third Workshop on Runtime Verification, Boulder, USA, July 2003
RV'04 Fourth Workshop on Runtime Verification, Barcelona, Spain, April 2004
RV'05 Fifth Workshop on Runtime Verification, Edinburgh, Scotland, July 2005
FATES/RV'06 First Joint Workshop on Formal Aspects of Testing and Runtime Verification, Seattle, USA, August 2006
RV'07 Seventh Workshop on Runtime Verification, Vancouver, Canada, March 2007
RV'08 Eighth Workshop on Runtime Verification, Budapest, Hungary, March 2008
Dagstuhl First Dagstuhl seminar on Runtime Verification, Schloss Dagstuhl, Saarland, Germany, January 3-6, 2007


Discussion Lists etc.

RV discussion list

Wikipedia (add your information/view)

Steering Committee

Klaus Havelund NASA's Jet Propulsion Laboratory
Gerard Holzmann NASA's Jet Propulsion Laboratory
Insup Lee University of Pennsylvania
Grigore Rosu University of Illinois, Urbana-Champaign