Search found 2 matches

by rafik
Tue Feb 28, 2017
Forum: Consolidated 2015 industrial challenge
Topic: Industrial challenge 2015
Replies: 0
Views: 1101

Industrial challenge 2015

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 ...
by rafik
Tue Jun 23, 2015
Forum: Verification challenge
Topic: The FMTV'15 Challenge
Replies: 0
Views: 3451

The FMTV'15 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 fert...