Fourth International Conference on
Runtime Verification
INRIA Rennes, France
24-27 September 2013

Frame houses in Rennes           Irisa Rennes

RV'13, the Fourth International Conference on Runtime Verification, will take place at INRIA Rennes, France, from 24 to 27 September 2013.

New: Registration is open


Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for verification and debugging purposes, and after deployment for ensuring reliability, safety and security, and for providing fault containment and recovery.


Workshop SMC 2013

The First Workshop on Statistical Model Checking will be associated with RV 2013. It will be held the day before RV, 23 September 2013.

Invited Speakers

Klaus Ostermann         Viktor Kuncak         Martin Leucker

Important Dates

Submission and Publication

RV'13 will have three paper categories: regular and tool demonstration papers, and short presentations. Papers in all categories will be reviewed by the program committee.

The RV'13 proceedings will be published as a volume of the LNCS series at Springer. Submissions must be formatted according to Springer LNCS guidelines. If necessary, the submission may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.

Submission of papers to RV'13 is handled through EasyChair. The submission link is

RV'13 Sponsors

INRIA         Université de Rennes 1         Métivier         SISCom Bretagne         Rennes Métropole