Verification challenge

About the FMTV Challenge

The purpose of the Formal Methods for Timing Verification (FMTV) challenge is to share ideas, experiences and solutions to a concrete timing verification problem issued from real industrial case studies. It also aims at promoting discussions, closer interactions, cross fertilization of ideas and synergies across the breadth of the real-time research community, as well as attracting industrial practitioners from different domains having a specific interest in timing verification.

The 2016 FMTV Challenge

We are glad to announce that the 2016 challenge is proposed by Arne Hamann, Simon Kramer, Martin Lukasiewycz and Dirk Ziegenbein from Bosch GmbH.

A general presentation and a full model of the challenge are available on the WATERS community forum. Prospective participants are invited to post questions, e.g. for clarification, and follow on-going discussions about the challenge. For questions which are not of general interest, feel free to contact Sophie Quinton (sophie dot quinton at inria dot fr).


A session will be devoted to the presentation of the solutions to the challenge. Authors of accepted submissions will have the opportunity to give a short talk during that session and present their solution to the ECRTS audience during the interactive demo session. Depending on the participation, a joint publication of the challenge solutions will be considered. Please note that we aim at a collaborative reviewing process: your submission implies that you agree to participate as a reviewer to the (light-weight) evaluation of contributions submitted by others.

Submission instructions

Submission instructions can be found here.

Comments are closed