______________________________________________________________________________________________

WATERS 2016

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

https://waters2016.inria.fr/


WATERS 2016 community forum

https://www.ecrts.org/forum/viewforum.php?f=26&sid=843c630ba5414aa6c5905a154d668c04

______________________________________________________________________________________________

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

______________________________________________________________________________________________

The AMALTHEA model is migrated to APP4MC 0.9.9 with manual fixes.

Origin:
	ChallengeModel_updated.zip
	https://www.ecrts.org/forum/download/file.php?id=40&sid=921eac38ccf160ffb62caaa6a192a3ab
