Runtime Verification

RV



Background

RV started in 2001 as a workshop, and in 2010 became a conference. The objective of the conference 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, to study 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, to study 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.

The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS.

The field covers analysis of single or multiple execution traces for the purpose of: Technologies supporting/using these efforts include:

Future Events

RV'18 The 18th International Conference on Runtime Verification, Limasson, Cyrpus, November 10-13, 2018.

Held together with ISoLA 2018.

Organized by:



Past Conferences

RV'10 First International Conference on Runtime Verification, St. Julians, Malta, November 1-4, 2010
RV'11 Second International Conference on Runtime Verification, San Francisco, California, USA, September 27-30, 2011
RV'12 Third International Conference on Runtime Verification, Istanbul, Turkey, September 25-28, 2012
RV'13 Fourth International Conference on Runtime Verification, Rennes, France, September 24-27, 2013
RV'14 The 14th International Conference on Runtime Verification, Toronto, Canada, September 22-25, 2014
RV'15 The 15th International Conference on Runtime Verification, Vienna, Austria, September 22-25, 2015
RV'16 The 16th International Conference on Runtime Verification, Madrid, Spain, September 23-30, 2016
RV'17 The 17th International Conference on Runtime Verification, Seattle, Washington, September 13-16, 2017

Past Workshops

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
RV'09 Ninth Workshop on Runtime Verification, Grenoble, France, June 2009

Other Past Events

Dagstuhl'07 Dagstuhl seminar on Runtime Verification, Schloss Dagstuhl, Saarland, Germany, January 3-6, 2007
Dagstuhl'10 Dagstuhl seminar on Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, Schloss Dagstuhl, Saarland, Germany, November 7-12, 2010
Dagstuhl'17 Dagstuhl seminar on A Shared Challenge in Behavioural Specification, Schloss Dagstuhl, Saarland, Germany, November 12-15, 2017


Discussion Lists etc.



Steering Committee

Howard Barringer University of Manchester
Saddek Bensalem (co-chair) Verimag and University Joseph Fourier
Klaus Havelund NASA's Jet Propulsion Laboratory
Insup Lee University of Pennsylvania
Grigore Rosu University of Illinois, Urbana-Champaign
Oleg Sokolsky (co-chair) University of Pennsylvania