Tools and Benchmarks for Real-Time Systems

The industrial challenge of WATERS 2015 is proposed by Rafik Henia and Laurent Rioux from Thales Research & Technology France. Details about the intention of the challenge can be found here: https://waters2017.inria.fr/challenge/. A detailed description of the challenge can be found in the attached ...

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 fert...