SCIENTIFIC PROGRAM ACTIVITY

July 23, 2014
THE FIELDS INSTITUTE FOR RESEARCH IN MATHEMATICAL SCIENCES

5th International Conference on
Runtime Verification

September 22-25, 2014
at the Fields Institute, Toronto

 

General Chair:
Sebastian Fischmeister
, University of Waterloo.
Programme Committee Chairs:
Borzoo Bonakdarpour,
University of Waterloo, Scott Smolka, State University of New York at Stony Brook
Local Arrangements Chair:
Patrick Lam,
University of Waterloo

OVERVIEW

The Runtime Verification conference series aims to bring scientists from bothacademia and industry together to debate how to monitor, analyze and guide the execution of (computer) 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:
1) 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; and
2) on the other hand, whether formalisms improve traditional ad-hoc monitoring techniques used in performance monitoring, distributed debugging, etc. Dynamic program monitoring and analysis can occur during testing or during operation.

RV 2014 will be the fifth time that Runtime Verification has run as an independent international conference.

Top