| ______________________________________________________________________________________________ |
| |
| WATERS 2017 |
| |
| International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems |
| |
| https://waters2017.inria.fr/ |
| |
| |
| WATERS 2017 community forum |
| |
| https://www.ecrts.org/forum/viewforum.php?f=31&sid=273e69c4b3fcb4746fe0d1dd25ca8970 |
| |
| ______________________________________________________________________________________________ |
| |
| FMTV 2017 |
| |
| Formal Methods for Timing Verification (FMTV) challenge |
| |
| https://waters2017.inria.fr/challenge/#Challenge17 |
| |
| |
| The 2017 FMTV Challenge (BOSCH) |
| |
| http://ecrts.eit.uni-kl.de/forum/viewtopic.php?f=32&t=85 |
| |
| ______________________________________________________________________________________________ |
| |
| The AMALTHEA model is migrated to APP4MC 0.9.8 with manual fixes. |
| |
| Origin: |
| ChallengeModel_withCommImplementationTypev082.zip |
| https://www.ecrts.org/forum/download/file.php?id=87&sid=75871bfba85649563ca77fee204b59fe |
| |
| |
