| # /** |
| # * Copyright (c) 2008 IBM Corporation and others. |
| # * All rights reserved. This program and the accompanying materials |
| # * are made available under the terms of the Eclipse Public License 2.0 |
| # * which accompanies this distribution, and is available at |
| # * https://www.eclipse.org/legal/epl-2.0/ |
| # * |
| # * Contributors: |
| # * itemis - Initial API and implementation |
| # */ |
| |
| # NLS_MESSAGEFORMAT_VAR |
| |
| _UI_WATERS_ExamplesCategory_name = APP4MC WATERS FMTV Challenge Examples |
| |
| _UI_WATERS_FMTV_Challenge2016_name = WATERS FMTV Challenge 2016 |
| _UI_WATERS_FMTV_Challenge2016_desc = WATERS - Formal Methods for Timing Verification (FMTV) Challenge 2016 |
| |
| _UI_WATERS_FMTV_Challenge2017_name = WATERS FMTV Challenge 2017 |
| _UI_WATERS_FMTV_Challenge2017_desc = WATERS - Formal Methods for Timing Verification (FMTV) Challenge 2017 |
| |
| _UI_WATERS_FMTV_Challenge2019_name = WATERS FMTV Challenge 2019 |
| _UI_WATERS_FMTV_Challenge2019_desc = WATERS - Formal Methods for Timing Verification (FMTV) Challenge 2019 |
| |
| _UI_WATERS_FMTV_Challenge_Project_desc = The project contain the relevant documents, links and the AMALTHEA model file. |