img-logoInria img-logoFondationMetivier img-logoFondationMetivier img-logoSISCOM img-logorennesMetropole

Conference Runtime Verification 2013 (RV'13)

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

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. the fourth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.

img-ITP2013DominiqueBolignano img-KlausOstermann-confRV2013iimgMartinLeucker-confRV2013

Invited talks

Invited talks

Executing Specifications using Synthesis and Constraint Solving

Viktor Kuncak (EPFL), Lausanne, Switzerland - Wednesday 25 th September 2013

Programming without Borders

Klaus Ostermann (University of Marburg), Germany - Thursday 26 th September 2013

Runtime Verification with Data

Martin Leucker (University of Lübeck), Friday 27th September 2013

img-VideothequeInria Retour Videothèque
© 2013 Pôle audiovisuel INRIA-Rennes