CRV 2015

The 2nd International Competition on Runtime Verification will be held with RV 2015, September 22 - 25, 2015

The event will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated tools, libraries and frameworks for the instrumentation and runtime verification of software

Runtime Verification is a verification technique for the analysis of software at execution-time based on extracting information from a running system and checking if the observed behaviors satisfy or violate the properties of interest. During the last decade, many important tools and techniques have been developed and successfully employed. However, there is a pressing need to compare such tools and techniques, since we currently lack a common benchmark suite as well as scientific evaluation methods to validate and test new prototype runtime verification tools.

The main aims of CRV-2015 are to:

• Stimulate the development of new efficient and practical runtime verification tools and the maintenance and improvement of the already developed ones.
• Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes.
• Discuss the metrics employed for comparing the tools.
• Provide a comparison of the tools on different benchmarks and evaluate them using different criteria.
• Enhance the visibility of presented tools among the different communities (verification, software engineering, cloud computing and security) involved in software monitoring.

Please direct any enquiries to the competition co-organizers (crv15.chairs@imag.fr)

• Ylies Falcone (Universite Joseph Fourier, France).
• Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria).
• Giles Reger (University of Manchester, UK).
• Daniel Thoma (University of Luebeck, Germany).