| # /** | |
| # * 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. |