______________________________________________________________________________________________

WATERS 2016

International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems


https://waters2016.inria.fr/


WATERS community forum

http://ecrts.eit.uni-kl.de/forum/viewforum.php?f=4


______________________________________________________________________________________________

FMTV 2016

Formal Methods for Timing Verification (FMTV) challenge


http://waters2016.inria.fr/challenge/


The 2016 FMTV Challenge (BOSCH)


http://ecrts.eit.uni-kl.de/forum/viewtopic.php?f=27&t=62
http://ecrts.eit.uni-kl.de/forum/download/file.php?id=35

______________________________________________________________________________________________