Search found 2 matches
Search found 2 matches • Page 1 of 1
- Tue Feb 28, 2017
- Forum: Consolidated 2015 industrial challenge
- Topic: Industrial challenge 2015
- Replies: 0
- Views: 1101
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...